 |
|
||||||||||
Talks and News 2013
Zurich Information Security Center
We are affiliated with the Zurich Information Security Center (ZISC)
The ZISC workshop on Securing Future Communication Networks against Emerging Threats will take place on 16-17 October 2013 at ETH Zurich and is announced here.
Events & News
- Our book Applied Information Security - A Hands-on Approach is an editor's pick and the current highlight of ACM's Computing Reviews.
- David Basin, Torsten Lodderstedt, and Juergen Doser, received the "Ten Year Most Influential Paper Award" at the MODELS 2012 conference for the paper SecureUML: A UML-Based Modeling Language for Model-Driven Security.
Open source tool
Information Security Group helps Hitachi develop and deploy Formal Methods for highly reliable Software Systems
Media
- "Data protection and security" in ETH Board annual report 2013. Read more here.
- "Tracing security gaps" in ETH Annual Report 2012. Read more here.
- Cas Cremers’s research and teaching focus on information security, protocols, privacy, trust and formal methods. Read more here.
Network Security Group
Adrian Perrig joins the Institute of Information Security as a Full Professor and will lead the Network Security Group as of December 2012.
Books
 |
Second International Conference, Principles of Security and Trust
Editors: David A. Basin and John C. Mitchell POST 2013, Springer Verlag, LNCS 7796, ISBN 978-3-642-36829-5 |
 |
Operational Semantics and Verification of Security Protocols
Authors: Cas Cremers and Sjouke Mauw Year: 2012, 2012, XIII, 172 p. 59 illus. Hardcover, ISBN 978-3-540-78635-1 |
Talks
- Information Security Group:
Date, time & place: 7 May 2013 - 14:00h, CNB F110
Speaker: Tristan Buchs, ETH Bachelor thesis presentation
Title: Investigating Semi-valid Input Coverage
- Information Security Group:
Date, time & place: 29 April 2013 - 15:15h, CNB F110
Speaker: Tanja Werthmüller, ETH Master's Thesis
Title: Efficient Evaluation of PBel Access Control Policies
- Information Security Group:
Date, time & place: 23 April 2013 - 14:00h, CNB F110
Speaker: Jannik Dreier, Ph.D. student University of Grenoble in VERIMAG Laboratory, France
Title: Formal Verification of eVoting and eAuction Protocols
- Network Security Group:
Date, time & place: 23 April 2013 - 10:30h, ETZ F78.1
Speaker: Adrian Perrig, Network Security Group, ETH Zurich
Title: SCION: Scalability, Control, and Isolation On Next-Generation Networks
- Information Security Group:
Date, time & place: 19 April 2013 - 14:00h, CNB F110
Speaker: Thilo Weghorn, Master student LMU Germany
Title: Program Extraction in Constructive Analysis with the Proof Assistant MINLOG
- System Security Group:
Date, time & place: 4 March 2013 - 11:00h, CNB F110
Speaker: Luca Cometta, ETH Master's Thesis
Title: Implementation and Evaluation of a GPS Spoofing Countermeasure
- Information Security Group:
Date, time & place: 12 March 2013 - 14:00h, CNB F110
Speaker: Ana Matos, Technical University of Lisbon
Title: Flow-policy awareness for distributed mobile code
- Information Security Group:
Date, time & place: 7 March 2013 - 15:00h, CNB F110
Speaker: Carsten Schürmann, DemTech IT University of Copenhagen
Title: Programming Law
- Information Security Group:
Date, time & place: 5 March 2013 - 14:00h, CNB F110
Speaker: Marco Rocchetto, Universiy of Verona
Title: Using Interpolation for the Verification of Security Protocols
- Network Security Group:
Date, time & place: 31 January 2013 - 16:00h, CAB H52
Speaker: Manuel Egele, Carnegie Mellon University, Cylab
Title: Opposites attract - Static analysis on mobile apps for security and privacy
- Information Security Group:
Date, time & place: 22 January 2013 - 14:00h, CNB F110
Speaker: Marco Guzzella, ETH Bachelor thesis presentation
Title: Shortest string containing all permutations
- Information Security Group:
Date, time & place: 21 January 2013 - 14:00h, CNB F110
Speaker: Matthijs Melissen, University of Luxembourg
Title: Virtual Multi-Protocol Attacks in Non-Repudiation Protocols
Wichtiger Hinweis:
Diese Website wird in älteren Versionen von Netscape ohne
graphische Elemente dargestellt. Die Funktionalität der
Website ist aber trotzdem gewährleistet. Wenn Sie diese
Website regelmässig benutzen, empfehlen wir Ihnen, auf
Ihrem Computer einen aktuellen Browser zu installieren. Weitere
Informationen finden Sie auf
folgender
Seite.
Important Note:
The content in this site is accessible to any browser or
Internet device, however, some graphics will display correctly
only in the newer versions of Netscape. To get the most out of
our site we suggest you upgrade to a newer browser.
More
information
