You are here
Publications
Export 1 results:
Author Title Type [ Year
] Filters: Keyword is electric vehicle charging [Clear All Filters]
, “Formal Verification of Privacy Properties in Electric Vehicle Charging”, in Engineering Secure Software and Systems, 2015.
Recent blog posts
- Informatik an Hamburger Schulen kein Pflichtfach mehr
- Tuning Mac OS Snow Leopard for SSD
- Deadline Extension IEEE WIVEC 2011
- Drupal 7
- 27. VDI/VW Gemeinschaftstagung Automotive Security
- Applications
- IEEE WiVEC 2011 - CfP
- Posters and Demos CfP - ACM WiSec 2011
- Resources on good presentation techniques
- Privacy in ITS Applications Workshop in Berlin
Recent Publications
- A resilient in-network aggregation mechanism for \{VANETs\} based on dissemination redundancy
- PUCA: A pseudonym scheme with strong privacy guarantees for vehicular ad-hoc networks
- Tales from the Dark Side: Privacy Dark Strategies and Privacy Dark Patterns
- Using Conflict-free Replicated Data Types for Serverless Mobile Social Applications
- Wireless Channel-Based Message Authentication
More...