You are here

Publications

Export 6 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Title is F  [Clear All Filters]
2015
M. Fazouane, Kopp, H. , van der Heijden, R. W. , Le Métayer, D. , and Kargl, F. , Formal Verification of Privacy Properties in Electric Vehicle Charging, in Engineering Secure Software and Systems, 2015.
D. Förster, Kargl, F. , and Löhr, H. , A Framework for Evaluating Pseudonym Strategies in Vehicular Ad-hoc Networks, in Proceedings of the 8th ACM Conference on Security & Privacy in Wireless and Mobile Networks, New York, NY, USA, 2015.
2014
S. Dietzel, van der Heijden, R. , Decke, H. , and Kargl, F. , A flexible, subjective logic-based framework for misbehavior detection in V2V networks, in A World of Wireless, Mobile and Multimedia Networks (WoWMoM), 2014 IEEE 15th International Symposium on, 2014.
M. Feiri, Petit, J. , and Kargl, F. , Formal Model of Certificate Omission Schemes in VANET, in Proceedings of the IEEE Vehicular Networking Conference 2014 (VNC 2014), Paderborn, Germany, 2014.
2013
M. Caselli, Hadziosmanovic, D. , Zambon, E. , and Kargl, F. , On the feasibility of device fingerprinting in Industrial Control Systems, in 8th International Conference on Critical Information Infrastructures Security (CRITIS 2013), Amsterdam, The Netherlands, 2013.
2009
S. Dietzel, Bako, B. , Schoch, E. , and Kargl, F. , A Fuzzy Logic based Approach for Structure-free Aggregation in Vehicular Ad-Hoc Networks, in Sixth ACM International Workshop on Vehicular Ad Hoc Networks (VANET 2009), Beijing, China, 2009.