1 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.CR2025★ 1 cited
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…
cs.NI2023★ 1 cited
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…