Scientific Publications
"Formal Verification of Privacy Properties in Electric Vehicle Charging", Engineering Secure Software and Systems, vol. 8978: Springer International Publishing, pp. 17-33, 2015.
, "Pre-distribution of certificates for pseudonymous broadcast authentication in VANET", IEEE 81st Vehicular Technology Conference (VTC): IEEE, April, 2015.
, "Pseudonym Schemes in Vehicular Networks: A Survey", Communications Surveys & Tutorials, IEEE, vol. 17, pp. 228-255, January-March, 2015.
, "Secure Cluster-based In-network Information Aggregation for Vehicular Networks", IEEE 81st Vehicular Technology Conference (VTC): IEEE, April, 2015.
, "Cooperative Home Light: Assessment of a Security Function for the Automotive Field", IARIA Journal on Advances in Security, vol. 7, pp. 1-14, 2014.
, "An evaluation framework for pre-distribution strategies of certificates in VANETs", Proceedings of 2nd GI/ITG KuVS Fachgespräch Inter-Vehicle Communication (FG-IVC 2014), Luxemburg, February, 2014.
, "Formal model of certificate omission schemes in VANET", Vehicular Networking Conference (VNC), 2014 IEEE, Paderborn, Germany, Dec, 2014.
, "In-Network Aggregation for Vehicular Ad Hoc Networks", IEEE Communications Surveys and Tutorials, vol. 16, pp. 1909–1932, December, 2014.
, "Open issues in differentiating misbehavior and anomalies for VANETs", Proceedings of 2nd GI/ITG KuVS Fachgespräch Inter-Vehicle Communication (FG-IVC 2014), Luxemburg, February, 2014.
, Proceedings of 2nd GI/ITG KuVS Fachgespräch Inter-Vehicle Communication (FG-IVC 2014), Luxemburg, February, 2014.
"PUCA: A pseudonym scheme with user-controlled anonymity for vehicular ad-hoc networks (VANET)", Vehicular Networking Conference (VNC), 2014 IEEE, Paderborn, Germany, Dec, 2014.
, "Real World Privacy Expectations in VANETs", Proceedings of 2nd GI/ITG KuVS Fachgespräch Inter-Vehicle Communication (FG-IVC 2014), Luxemburg, February, 2014.
, "Redundancy-based statistical analysis for insider attack detection in VANET aggregation schemes", Vehicular Networking Conference (VNC), 2014 IEEE, Paderborn, Germany, Dec, 2014.
, "Revisiting attacker model for smart vehicles", Wireless Vehicular Communications (WiVeC), 2014 IEEE 6th International Symposium on, Vancouver, Canada, IEEE, September, 2014.
, "Differential Privacy in Intelligent Transportation Systems", Proceedings of the Sixth ACM Conference on Security and Privacy in Wireless and Mobile Networks, New York, NY, USA, ACM, pp. 107–112, 2013.
, "Efficient and Secure Storage of Private Keys for Pseudonymous Vehicular Communication", Proceedings of the 2013 ACM Workshop on Security, Privacy & Dependability for Cyber Vehicles, New York, NY, USA, ACM, pp. 9–18, 2013.
, "The Impact of Security on Cooperative Awareness in VANET", Vehicular Networking Conference (VNC), 2013 IEEE, 2013.
, "Impact of V2X Privacy Strategies on Intersection Collision Avoidance Systems", Vehicular Networking Conference (VNC), 2013 IEEE, 2013.
, "POPCORN: Privacy-preserving Charging for Emobility", Proceedings of the 2013 ACM Workshop on Security, Privacy & Dependability for Cyber Vehicles, New York, NY, USA, ACM, pp. 37–48, 2013.
, "SeDyA: Secure Dynamic Aggregation in VANETs", Proceedings of the Sixth ACM Conference on Security and Privacy in Wireless and Mobile Networks, New York, NY, USA, ACM, pp. 131–142, 2013.
, "Analyzing dissemination redundancy to achieve data consistency in VANETs", Proceedings of the ninth ACM international workshop on Vehicular inter-networking, systems, and applications, New York, NY, USA, ACM, pp. 131–134, 2012.
, "Congestion-based certificate omission in VANETs", Proceedings of the ninth ACM international workshop on Vehicular inter-networking, systems, and applications, New York, NY, USA, ACM, pp. 135–138, 2012.
, "Evaluation of congestion-based certificate omission in VANETs", Vehicular Networking Conference (VNC), 2012 IEEE, pp. 101 -108, nov., 2012.
, "On the potential of PUF for pseudonym generation in vehicular networks", Vehicular Networking Conference (VNC), 2012 IEEE, pp. 94 -100, nov., 2012.
,