Projects
- FNR-AFR PhD project on Secure and Private Location Proofs
- ESA project "Developing a prototype of location assurance service provider (LASP)"
Conderences & Workshops
-
20th ACM Conference on Computer and Communications Security (CCS'13), Nov. 4-8, 2013, Berlin, Germany.
-
26th Computer Security Foundations Symposium (CSF'13), Jun. 26-28, 2013, New Orleans, Louisiana, US.
-
3rd ACM Conference on Data and Application Security and Privacy (CODASPY'13), Feb. 18-20, 2013, San Antonio, Texas, US.
-
7th International Workshop on Data Privacy Management (DPM'12), Sep. 13-14, 2012, Pisa, Italy.
-
7th International Conference on Availability, Reliability and Security (ARES'12), Aug. 20-24, 2012, Prague, Czech Republic.
-
2012 Grande Region Security and Reliability Day, Mar. 16, 2012, Nancy, France.
-
2nd ACM Conference on Data and Application Security and Privacy (CODASPY'12), Feb. 7-9, 2012, San Antonio, Texas, US.
-
2011 Grande Region Security and Reliability Day, Mar. 25, 2011, Trier, Germany.
Summer Schools
- Verification Technology, Systems & Applications -
VTSA'12,
Sep. 3-7, 2012, Saarbrücken, Germany.
- Verification Technology, Systems & Applications -
VTSA'11,
Sep. 19-23 2011, Liege Belgium.
- 11th International School on foundations of Security Analysis and Design -
FOSAD'11,
Aug. 29-Sep. 3, 2011, Bertinoro, Italy.
- First IFIP WG 11.11 Summer School on Trust Management -
IFIP'11,
Jun. 20-24, 2011, Copenhagen, Denmark.
- Verification Technology, Systems & Applications -
VTSA'10,
Sep. 6-10, 2010, Luxembourg.
- Verification Technology, Systems & Applications -
VTSA'09,
Oct. 12-16, 2009, Nancy France.
