CRiSIS 2011 Program
PDF version
Venue: Politehnica University of Timisoara, Faculty of Automation and Computers
Room A106 (Monday morning) / A 101 (all other talks)
Monday, 26 September 2011
8:15 - 9:00: Registration
Tutorials
9:00 - 12:30: Software attacks on Java smartcards. Jean-Louis Lanet, Université de Limoges
12:30 - 14:00 Lunch, Casa Bunicii restaurant
14:00 - 17:30 Data Analysis with Privacy Constraints. Stelvio Cimato, Università degli Studi di Milano
18:00 - 21:00 Wine tasting at Recas vineyards (bus, 25km)
Tuesday, 27 September 2011
9:00 - 9:15 Welcome from the program chairs
9:15 - 10:15 Invited talk: Quantitative aspects in trust management languages. Fabio Martinelli, CNR, Italy
10:15 - 10:45 Coffee break
10:45 - 11:45 Session 1: Attacks and Defences
Li Wang (Illinois Institute of Technology), Zheng Li, Shangping Ren, Kevin Kwiat.
Optimal Voting Strategy Against Rational Attackers
David Pequegnot, Laurent Cart-Lamy, Aurélien Thomas, Thibault Tigeon, Julien Iguchi-Cartigny, Jean-Louis Lanet (Universié de Limoges).
A Security Model to Increase Confidence in M-Transactions
12:00 - 14:00 Lunch, Casa Bunicii restaurant
14:00 - 15:30 Session 2: Security of resource-constrained devices
José Luis Tornos, Joan Josep Piles, José Luis Salazar (Universidad de Zaragoza).
ADSR: Authenticated DSR
Sarmad Ullah Khan, Claudio Pastrone, Luciano Lavagno, Maurizio Spirito (Politecnico di Torino).
An Energy and Memory-Efficient Key Management Scheme for Mobile Heterogeneous Sensor Networks
Pal-Stefan Murvay, Bogdan Groza (Politehnica University of Timisoara).
Performance improvements for SHA-3 finalists by exploiting microcontroller on-chip parallelism
15:30 - 16:00 Coffee break
16:00 - 17:30 Session 3: Trust and QoS management
Filipe Caldeira (University of Coimbra), Thomas Schaberreiter, Edmundo Monteiro, Jocelyn Aubert, Paulo Simoes, Djamel Khadraoui.
Trust based interdependency weighting for on-line risk monitoring in interdependent critical infrastructures
Kevin Feeney (Trinity College Dublin), Simon N. Foley (University College Cork), Rob Brennan.
A Trust Model for Capability Delegation in Federated Policy Systems
Mahmoud Mostafa (Université de Toulouse), Anas Abou El Kalam, Dragos Minuta and Christian Fraboul.
QoS-aware Firewall Session Table
18:30 Conference banquet, Terasa Flora
Wednesday, 28 September 2011
9:00 - 10:30 Session 4: Advanced security models
Hela Zorgati, Takoua Abdellatif (University of Sousse).
SEWSEC : a SEcure Web SErvice Composer using Information Flow Control
Leanid Krautsevich, Aliaksandr Lazouski (Istituto di Informatice e Telematica, Pisa), Fabio Martinelli, Artsiom Yautsiukhin.
Cost-effective Enforcement of UCONA Policies
Simone Marchesini, Luca Viganò (Università di Verona).
A Hierarchy of Knowledge for the Formal Analysis of Security-Sensitive Business Processes
10:30 - 11:00 Coffee break
11:00 - 12:20 Session 5: Short papers
Tariq Alwada'n (De Montfort University), Helge Janicke, Omer Aldabbas, Mai Alfawair.
New Framework for Policy Support for Mobile Grid Services
Luigi Coppolino, Salvatore D'Antonio, Valerio Formicola, Francesco Oliviero, Luigi Romano (University of Naples Parthenope).
On the Security of the Terminal Operations for Container Shipping in Multimodal Transport: the SIS-TEMA Project
Sammy Haddad (TELECOM ParisTech), Artur Hecker, Samuel Dubus, Teemu Kanstrén, Bertrand Marquet, Reijo Savola.
Operational Security Assurance Evaluation in Open Infrastructures
Sulaiman Al amro, Antonio Cau (De Montfort University).
Behaviour-based Virus Detection System using Interval Temporal Logic
12:20 - 12:30 Closing remarks
12:30 - 14:00 Lunch, Casa Bunicii restaurant
|
