Talks in 2010

September 24, 2010

Speaker: Taner Ozturk
Title: Investigating Thread Interactions via Volatile Variables and Synchronized Blocks
Time: 11:00
Place: CNB F 110

Speaker: Binh Thanh Nguyen
Title: Uni?cation in the Description Logic EL without Top Constructor
Time: 14:00
Place: CNB F 110

September 17, 2010

Speaker: Thai Son Hoang
Title: Development of Rabin's Choice Coordination Algorithm in Event-B
Time: 14:00
Place: CNB F 110

September 15, 2010

Speaker: Cas Cremers
Title: Modeling and analyzing security in the presence of compromising adversaries
Time: 16:00
Place: CNB F 110

September 14, 2010

Speaker: Janardan Misra
Title: Towards a Framework for Formal Specification and Verification of Timeout Models of Real-time Systems
Time: 14:00
Place: CNB F 110

September 13, 2010

ZISC Workshop 2010
Speaker: Knut Eckstein, ESA; Dominique Alessandri, IBM; Isabelle Augsburger-Bucheli, HE-ARC; Bertrand Perrin, HE-ARC; Romain Roubaty, HE-ARC; Nasir Memon, New York University; Darren Bilby, Google; Marc Henauer, MELANI; Felix Freiling, University of Mannheim; Andreas Schuster, Deutsche Telecom;
Title: Digital Forensics and Security
Time: all day
Place: at armasuisse in Berne

August 3, 2010

Speaker: Bruno Conchinha Montalto
Title: Efficient Algorithms for Deciding Deduction and Static Equivalence
Time: 14:00
Place: CNB F 110

July 29, 2010

Speaker: Emre Yilmaz
Title: Tool Support for Qualitative Reasoning in Event-B
Time: 14:00
Place: CNB F 110

July 28, 2010

Speaker: Ari Saptawijaya
Title: A Logic for Constraint-based Security Protocol Analysis

Speaker: Ognjen Maric
Title: Internet Payment System: A New Payment System for Internet Transactions

July 27, 2010

Speaker: Simone Frau
Title: Integrated Specification and Verification of Security Protocols and Policies
Time: 14:00
Place: CNB F 110

July 6, 2010

Speaker: Benedikt Schmidt
Title: Impossibility Results for Secret Establishment
Time: 14:00
Place: CNB F 110

June 8, 2010

Speaker: Simon Meier
Title: Strong Invariants for the Efficient Construction of Machine-Checked Protocol Security Proofs
Time: 14:00
Place: CNB F 110

May 25, 2010

ZISC Colloquium Talk:
Speaker: Joachim Posegga, University of Passau
Title: Passau Security in a De-Perimeterised World oder: Gibt es sichere, verteilte Web-Anwendungen?
Time: 17:15
Place: HG F 5

Speaker: Gergei Bana, LSV/ENS Cachan
Title: Secrecy-Oriented, Computationally Sound First-Order Logical Analysis of Cryptographic Protocols
Time: 14:00
Place: CAB H 52

May 11, 2010

Master's presentation
Speaker: Jann Röder
Title: T.b.a.
Time: 14:00
Place: F 110

May 4, 2010

ZISC Colloquium Talk:
Speaker: Stephan Neuhaus, Universita degli Studi di Trento, Italy
Title: Security trend analysis using topic models: an example of evidence-based security
Time: 17:15
Place: HG F 5

Speaker: Matthias Schmalz
Title: Understanding the Logic Underlying Event-B
Time: 14:00
Place: CAB H 52

May 3, 2010

Speaker: Shuang Chang
Title: Certificateless Threshold Ring Signature
Time: 10:00
Place: F110

April 27, 2010

Speaker: Egon Boerger, University of Pisa
Title: Ambient Abstract State Machines
Time: 14:00
Place: CAB H52

April 13, 2010

ZISC Colloquium Talk:
Speaker: Daniela Brauckhoff, Credit Suisse
Title: Network Behavior Analysis: an overview and recent developments
Time: 17:15
Place: HG F5

March 23, 2010

Speaker: Bogdan Warinschi, Computer Science Department, University of Bristol
Title: Adaptive corruption of symmetric encryption keys in computational soundness
Time: 14:00
Place: CAB H52

March 16, 2010

ZISC Colloquium Talk:
Speaker: Felix Freiling, University of Mannheim
Title: Your Personal Data in the Internet: Loosing Control?
Time: 17:15
Place: HG F5

March 9, 2010

ZISC Colloquium Talk:
Speaker: Reto Weber, Credit Suisse
Title: Social Network and the Risk for Enterprises
Time: 17:15
Place: HG F5

March 8, 2010

Speaker: Michele Feltz
Title: On the Cojugacy Problem in Groups and its Variants
Time: 14:00
Place: CNB F110

March 2, 2010

Speaker: Egon Boerger, University of Pisa
Title: Execution Semantics for BPMN Modeling Concepts
Time: 14:00
Place: CAB H52

ZISC Colloquium Talk:
Speaker: Valtteri Niemi, Nokia
Title: LTE security architecture
Time: 17:15
Place: HG F5

February 26, 2010

Speaker: Carroll Morgan, University of New South Wales
Title: Non-interference security: specification, refinement and implementation

Time and place:

    part 1, 10:00 - 11:30, LFW C 5

    part 2, 13:00 - 14:30, ML H 37.1

February 23, 2010

Speaker: Lukas Bruegger
Title: A Generic Framework for Security Policy Testing
Time: 14:00
Place: InfSec meeting room

February 18, 2010

Speaker: Thai Son Hoang
Title: Event-B Decomposition for Parallel Programs
Time: 14:00
Place: InfSec meeting room

February 10, 2010

Speaker: Tom Hvitved
Title: Towards contract formalization
Time: 10:00
Place: InfSec meeting room

February 9, 2010

Speaker: Kai Brünnler
Title: On a Mismatch in the Structure of Proofs
Time: 14:00
Place: T.b.a.

January 26, 2010

Speaker: Alexandre Duret-Lutz
Title: Linear-time Temporal Logic Translation in the Spot Model-Checking Library
Time: 14:00
Place: IFW C 44

January 19, 2010

Speaker: Egon Boerger, University of Pisa
Title: Refinement of programs of distributed agents
Time: 14:00
Place: IFW A 32.1

January 14, 2010

ZISC Colloquium
Speaker: Kenny Paterson, Royal Holloway, University of London
Title: SSH: Breaking and Provably Repairing a Proven Secure Protocol
Time: 14:00
Place: IFW A 32