News
Final talks on 12.03. 9:00Geschrieben am 21.02.19 von Robert Künnemann Hi! We discussed moving the final talks to 12.03. 9:00 during the last session. Is there anyone, for whom this is not working? Cheers, Robert |
HISPOS inscriptionsGeschrieben am 22.11.18 von Robert Künnemann Hi! FYI: According to study regulations, you've got three weeks starting from the day topics were assigned (Tuesday) to sign in or out of this course in HISPOS. Deadline is thus 11.12.2018. Cheers, Robert |
Project description and materialsGeschrieben am 08.11.18 von Robert Künnemann Hi! Check out the projects directory in the gitlab repository. You will find some notes from our last meeting, and some ideas about how to approach the project. This should be a basis for discussion in the next session. Feel free to edit the README.md files in your project; I will use them to… Weiterlesen Hi! Check out the projects directory in the gitlab repository. You will find some notes from our last meeting, and some ideas about how to approach the project. This should be a basis for discussion in the next session. Feel free to edit the README.md files in your project; I will use them to track your progress. Cheers, Robert |
Docker image finishedGeschrieben am 08.11.18 von Robert Künnemann Hi! Okay the headline is optimistic, I have no idea if it works on any other computer besides mine and I've added only tamarin, sapic and proverif for starters. :D Anyway, you've been added to the respository, which contains build instructions. Compiling these tools can be quite a pain, and… Weiterlesen Hi! Okay the headline is optimistic, I have no idea if it works on any other computer besides mine and I've added only tamarin, sapic and proverif for starters. :D Anyway, you've been added to the respository, which contains build instructions. Compiling these tools can be quite a pain, and this should automate the process, leaving you with a docker image, which is sort of like a VM, only slightly faster. The build process takes a while and loads of memory, so in case you are working on a weak machine send me a message and I will publish a pre-compiled image on docker hub. Cheers, Robert |
Semester datesGeschrieben am 05.11.18 von Robert Künnemann Hi! I've fixed the semester dates; please let me know if they work with your schedule. Remarks: 1. We moved the meeting on 18.12. a week earlier so you can go see your family. 2. We have a sixth meeting which is after the courses end. We will see if we need this meeting on the meeting… Weiterlesen Hi! I've fixed the semester dates; please let me know if they work with your schedule. Remarks: 1. We moved the meeting on 18.12. a week earlier so you can go see your family. 2. We have a sixth meeting which is after the courses end. We will see if we need this meeting on the meeting before. 3. I have not fixed the schedule for final talks, but I aim to have it early (in between 18.02. and 01.03.). We'll fix as soon as you know when your exams take place. 4. Intro talks will start with the session "Discussion 2" (except for Alex who pioneers in Discussion 1). Cheers & see you tomorrow, Robert |
Gitlab inviationGeschrieben am 24.10.18 von Robert Künnemann Hi! You should have received invitations to our gitlab, where your project and slides will reside. If you have worries about privacy, please seek to contact me, otherwise I will assume you are okay with all seminar members seeing each other's files and log messages (no profanity please!). I… Weiterlesen Hi! You should have received invitations to our gitlab, where your project and slides will reside. If you have worries about privacy, please seek to contact me, otherwise I will assume you are okay with all seminar members seeing each other's files and log messages (no profanity please!). I will try to setup a docker image with all the protocol verification tools we plan to use, so we avoid installation trouble. Cheers, Robert |