| ||||||||
|
| ||||||||
|
More details about the meeting are available here.
Agenda of the meeting (PDF). Abstract of presentations (PDF). | ||||||||
|
|
| Thursday, June 19, 2008 - Morning Session | |
|
Welcome and Overview |
|
|
Prof. Valery Korzhik State University of Telecommunications, Russia |
Identification and Key Distribution Based on Biometric Information (Invited Talk) (Presentation) |
|
Prof. Nikolay Moldovyan Specialized Center of Program Systems "SPECTR", Russia |
Cryptographic mechanisms for information authentication and unathorized copying software protection (Invited Talk) (Presentation) |
|
Mariano Ceccato, Mila Dalla Preda, Anirban Majumdar, Paolo Tonella ITC-Irst, UNITN |
Remote Entrusting Remote Entrusting by OrthogonalClient Replacement (Presentation) |
| Thursday, June 19, 2008 - Afternoon Session | |
|
Sebastian Faust Katholieke Universiteit Leuven |
Private Circuits Revisited: Provable Security Guarantees on Boolean Circuits (Presentation) |
|
Mariano Ceccato, Jasvir Nagra, Massimiliano Di Penta, Marco
Torchiano, Paolo Tonella, Paolo Falcarin, Filippo Ricca ITC-Irst, UNITN, POLITO | ..
Preliminary Analysis of the Reverse Engineering Complexity (Presentation) |
|
Vasily Desnitsky, Igor Kotenko SPIIRAS |
Design and Analysis of Entrusting Protocol (Presentation) |
|
Sergey Reznik, Igor Kotenko SPIIRAS |
Analysis of Verification Tools for Security Protocols (Presentation) |
|
Sergey Reznik SPIIRAS |
Verification of Entrusting Protocol using AVISPA and Isabelle (Presentation) |
|
| |
| Friday, June 20, 2008 - Morning Session | |
|
Alessandro Zorat UNITN |
Open discussion on Second Year Review reports |
|
Deliverable D2.3 Methods to dynamically replace the secure software module and to securely interlock
applications with secure SW module.
Deliverable D2.4 Protection methods for hardening the secure software module Deliverable D3.2 First Analysis Encrypted Code and HW assisted SW Protection Deliverable D4.2 Trust analysis of SW-based method Deliverable D4.3 Analysis of the Reverse Engineering Complexity |
|
| Friday, June 20, 2008 - Afternoon Session | |
|
Stefano Di Carlo POLITO |
Open discussion on prototype (Presentation) |