|
About
Conferences
Colloquium
Workshops
Practical
|
SecReT 2007 Programme
Friday, June 29
| 8:15 - 9:00 |
|
Arrival of participants and registration |
SecReT/UNIF joint invited talk (Room 35-3-26)
| 9:30 - 10:30 |
|
Thomas Genet. Rewriting and Reachability for Software Security. |
| 10:30 - 11:00 |
|
Coffee Break |
SecReT Session 2 (Room 35-3-26)
| 11:00 - 11:30 |
|
Steve Barker and Maribel Fernández. Action-Status Access Control as Term Rewriting. |
| 11:30 - 12:00 |
|
Charles Morisset and Anderson Santana de Oliveira. Automated Detection of Information Leakage in Access Control. |
| 12:00 - 12:30 |
|
Charles Morisset and Anderson Santana de Oliveira. Demo Tom. |
SecReT Session 3 (Room 35-3-26)
| 14:00 - 14:30 |
|
Santiago Escobar, Joe Hendrix, Catherine Meadows, and José Meseguer. Diffie-Hellman Cryptographic Reasoning in the Maude-NRL Protocol Analyzer. |
| 14:30 - 15:00 |
|
Santiago Escobar, Joe Hendrix, Catherine Meadows, and José Meseguer. Demo Maude-NPA. |
| 15:00 - 15:30 |
|
Anders Moen Hagalisletto and Olaf Owe. Local Deduction of Trust. |
| 15:30 - 16:00 |
|
Coffee Break |
SecReT Session 4 (Room 35-3-26)
| 16:00 - 16:30 |
|
Anders Moen Hagalisletto and Olaf Owe. Demo Maude-PROSA. |
| 16:30 - 17:00 |
|
Discussion and Business Meeting. |
webmaster at rdp07 dot org
|