|
|||||||||||
Zurich Information Security Center
We are affiliated with the Zurich Information Security Center (ZISC)
Events & News
David Basin, Felix Klaedtke, Matus Harvan and Eugen Zalinescu received the "Best Tool Paper Award" at the Runtime Verification (RV'11) conference for the paper "MONPOLY: Monitoring Usage-control Policies". MONPOLY is a monitoring tool that checks compliance of log files with respect to policies formalized in metric first-order
temporal logic.
![]() |
Title: Applied Information Security - A Hands-on Approach
Authors: David Basin and Patrick Schaller and Michael Schläpfer Year: 2011, 2011, XIV, 202 p. 15 illus. Hardcover, ISBN 978-3-642-24473-5 Due: November 2011 |
|
|
2 April 2012 Nils Ole Tippenhauer is interviewed for students.ch regarding the risk of cyber attacks. |
|
|
23 December 2011
Christina Pöpper is interviewed for WRS regarding the recent U.S. drone captured in Iran and the GPS spoofing claims. |
|
|
7-8 June 2012, HG G 60 (Semper Aula) ZISC Workshop 2012 on "Secure Mobile and Cloud Computing" |
|
|
10 May 2012 - 14:00h, CNB F 110 Mario Frank, University of California, Berkele, USA On the feasibility of side-channel attacks with Brain-Computer Interfaces |
|
|
17 April 2012 - 14:00h, CNB F 110 Heike Neumann (NXP Semiconductors), Germany Cryptographic Primitives and Protocols in the Smartcard Industry |
|
|
6 March 2012 - 14:00h, CNB F 110 Bettina Hackenbruch, ETH bachelor thesis presentation Point-Based and Interval-Based Monitoring Algorithms in Haskell |
|
|
24 February 2012 - 11:00h, CNB F 110 Sasa Radomirovic, University of Luxembourg Privacy in RFID systems |
|
|
23 February 2012 - 14:00h, LFO G 25 Viktor Kuncak, EPF Lausanne Implicit Programming |
|
|
8 February 2012 - 14:00h, CNB F 110 Lukas Manser, ETH bachelor thesis presentation Testing Web Services with HOL-TestGen |
|
|
7 February 2012 - 14:00h, CNB F 110 Manuel Clavel, Fundación IMDEA Software Model-based development of security-aware data-centric web applications |
|
|
23 January 2012 - 14:00h, CNB F 110 Prof. John Lygeros, ETH and Automatic Control Laboratory Cyber-security of SCADA systems: A case study on Automatic Generation Control |
|
|
12 January 2012 - CNB F 110 Kari Kostiainen, Nokia 11:00h talk on "Smartphone security research" 14:00h talk on "A credential platform for mobile devices" |
|
|
11 January 2012 - 14:00h, CNB F 110 Ralf Sasse, University of
Illinois at Urbana-Champaign, USA A Systematic Approach to Uncover Security Flaws in GUI Logic |
|
|
10 January 2012 - 14:00h, CNB F 110 Ralf Sasse, University of
Illinois at Urbana-Champaign, USA Protocol Analysis in Maude-NPA Using Folding Variant Narrowing |
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