Sep 4, 2015
Program
| Monday | Tuesday | Wednesday | Thursday | |
| 9:00 | Tutorial – Scedrov | Tutorial – Jacobs | Tutorial – Bana | Tutorial – Hsu |
| 10:10 | Break | Break | Break | Break |
| 10:50 | 3 Research Problems Talcott, Kawamoto, Jia |
3 Research Problems Ghilezan, Chong, Sands |
3 Advertisements Okada, Baelde, Hirschi |
1 Research Problems Giacobazzi |
| 11:30 | Tool overview – Stefan | Conclusion | ||
| 12:00 | Lunch | Lunch | Lunch | Lunch |
| 13:30 | Group Photo | Free time | Free time | |
| 14:00 | Tutorial – Pavlovic | Tutorial – Gambs | Tutorial – Garg | |
| 15:00 | 2 Advertisements Nigam, Maffeis |
2 Advertisements Hasuo, Izumi |
2 Advertisements Dal Lago, Katsumata |
|
| 15:30 | Break | Break | Break | |
| 16:30 | Talk -?Morgan | Talk – Hofmann | Tool demo – Russo | |
| 17:00 | Open Panel Discussion | Open Panel Discussion | Open Panel Discussion | |
| 18:00 | Dinner | Dinner | Dinner |
Time allocated for the different kinds of talks:
Tutorial – 50 minutes
Research Problem talks – 15 minutes
Advertisement Talks – 10 minutes
Tool Overviews – 20 minutes
Others – 25 minutes
Day by Day Schedule
Monday October 26
9:00 – ?Tutorial
Andre Scedrov -?Multiset rewriting with dense time and the analysis of cyber-physical security protocols
10:10 – Break
10:50 – Research Problems
Carolyn Talcott -?Trust and Security Challenges for Networked Distributed Cyber-Physical Agent Systems
Yusuke Kawamoto?-?Combining Static and Statistical Approaches to Quantitative Information Flow
Limin Jia – Challenges in Engineering a Provably Secure Hypervisor Framework
12:00 – Lunch and Group Photo
14:00?- ?Tutorial
Dusko Pavlovic -?Cyber-physical security in actor networks
15:00 – Advertisement Talks
Vivek Nigam -?Timed Intruder Models
Sergio Maffeis – Automated Testing of Browser Security Policies
15:30 – Break
16:30 – Talk
Carroll Morgan?- Greatest pre-uncertainties for hyperGCL:
a backwards semantics for abstract HMM’s
17:00 – Open Panel Discussion
Tuesday October 27
9:00 – ?Tutorial
Bart Jacobs?-?Attribute-based authentication in practice
10:10 -?Break
10:50 -?Research Problems
Silvia Ghilezan -?Types in access control and privacy
Stephen Chong?-?Knowledge and Effect: A Logic for Reasoning about Confidentiality and Integrity Guarantees
Dave Sands -?Language-based Data Minimization.
12:00 -?Lunch
14:00?- ?Tutorial
Sébastien Gambs?-?Inference attacks in location data
15:00 -?Advertisement Talks
Ichiro Hasuo -?Kleisli Simulations, for Quantitative Verification (in General) and Probabilistic Anonymity (in Particular)
Takeuti Izumi?-?Logical system for negligible probability
15:30 -?Break
16:30 -?Talk
Martin Hofmann – GuideForce: type-based enforcement of secure coding guidelines
17:00 -?Open Panel Discussion
Wednesday?October 28
9:00 – ?Tutorial
Gergei Bana?-?Computationally Sound Security Analysis with First Order Logic – An Introduction to the Computationally Complete Symbolic Attacker Based on Indistinguishability
10:10 -?Break
10:50 – Advertisement Talks
Mitsuhiro Okada – French-Japanese cybersecurity framework (with special focus on formal methods)
David Baelde?-?Partial Order Reduction for Security Protocols: Improving Automated Trace Equivalence Checking in the Symbolic Model
Lucca Hirschi?-?Automatic Verification of Privacy Protection for Unbounded Sessions
11:30 – Tool Overview
Deian Stefan -?Building Least Privileged Web Applications with Node.js
12:00 -?Lunch
14:00?- ?Tutorial
Deepak Garg?-?CostIt: Using dependent types and co-monads for incremental complexity analysis
15:00 -?Advertisement Talks
Ugo Dal Lago?-?On Equivalences, Metrics, and Polynomial Time
Sin-ya Katsumata?-?TBA
15:30 -?Break
16:30 -?Tool Demo
Alejandro Russo?-?Two can keep a secret if one of them uses Haskell
17:00 -?Open Panel Discussion
Thursday October 29
9:00 – ?Tutorial
Justin Hsu?-?An introduction to language-based techniques for verifying differential privacy
10:10 -?Break
10:50 – Research Problems
Roberto Giacobazzi?- Towards systematic code obfuscation (theory and practice)
11:30 – Conclusion
12:00 -?Lunch