1 citations · 2 across the 2 of their papers we have counts for
3 papers
Formally-verified Security against Forgery of Remote Attestation using SSProve
Sara Zain, Jannik Mähn, Stefan Köpsell +1
Remote attestation (RA) is the foundation for trusted execution environments in the cloud and trusted device driver onboarding in operating systems. However, RA misses a rigorous m…
Enabling Mobility-Oriented JCAS in 6G Networks: An Architecture Proposal
Philipp Rosemann, Sanket Partani, Marc Miranda +14
Sensing plays a crucial role in autonomous and assisted vehicular driving, as well as in the operation of autonomous drones. The traditional segregation of communication and onboar…
Improving unlinkability in C-ITS: a methodology for optimal obfuscation
Yevhen Zolotavkin, Yurii Baryshev, Vitalii Lukichov +2
In this paper, we develop a new methodology to provide high assurance about privacy in Cooperative Intelligent Transport Systems (C-ITS). Our focus lies on vehicle-to-everything (V…