VSL 2014: VIENNA SUMMER OF LOGIC 2014
ASA PROGRAM
Friday, July 18th, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

08:45-09:45 Session 86L: Invited Speaker (joint with FCS-FCC)
Chair:
Matteo Maffei
Location: MB, Hörsaal 7
08:45
Graham Steel
Cryptosense: Formal Analysis of Security APIs from Research to Spin-Off (abstract)
09:45-10:25 Session 89A: Technical Session
Location: MB, Zeichensaal 13
09:45
Petr Svenda
Nuances of the JavaCard API on the cryptographic smart cards - JCAlgTest project (abstract)
10:15-10:45Coffee Break
10:45-12:45 Session 90AT: Technical Session
Location: MB, Zeichensaal 13
10:45
George French
Banking security Wish list: notes from the edge (abstract)
11:25
Thomas Braibant, Jonathan Protzenko and Gabriel Scherer
Well-typed generic smart-fuzzing for APIs (abstract)
12:05
Josef Hertl
Caetus tool (abstract)
13:00-14:30Lunch Break
14:30-15:50 Session 96AU: Technical session
Location: MB, Zeichensaal 13
14:30
Dan Cvrcek
Application Oriented Low Cost Security Modules (abstract)
15:10
Mike Bond
Security APIs for Device Enrolment (abstract)
16:00-16:30Coffee Break
16:30-17:30 Session 99BB: Panel Session: The W3C Web Crypto API
Location: MB, Zeichensaal 13