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 and Privacy-Preserving Smartphone-Based Traffic Information Systems", Intelligent Transportation Systems, IEEE Transactions on, vol. 16, pp. 1428-1438, June, 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.
, "A flexible, subjective logic-based framework for misbehavior detection in V2V networks", A World of Wireless, Mobile and Multimedia Networks (WoWMoM), 2014 IEEE 15th International Symposium on, June, 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.
, "Towards a Cooperative ITS Vehicle Application Oriented Security Framework", Intelligent Vehicles Symposium Proceedings, 2014 IEEE, June, 2014.
, "Towards deploying a scalable amp; robust vehicular identity and credential management infrastructure", Vehicular Networking Conference (VNC), 2014 IEEE, Dec, 2014.
, "Copra: Conditional pseudonym resolution algorithm in VANETs", Wireless On-demand Network Systems and Services (WONS), 2013 10th Annual Conference on, pp. 9-16, 2013.
, "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.
, "Discovery and Verification of Neighbor Positions in Mobile Ad Hoc Networks", Mobile Computing, IEEE Transactions on, vol. 12, no. 2, pp. 289-303, Feb., 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.
,