
The paper entitled “Root-of-Trust Abstractions for Symbolic Analysis: Application to Attestation Protocols” has been accepted for presentation at the 17th International Workshop on Security and Trust Management, co-located with the 26th European Symposium on Research in Computer Security (ESORICS) 2021, held virtually from October 4 – 8, 2021. Dr Thanassis Giannetsos, Head of UBITECH’s Digital Security and Trusted Computing Research Group, and his co-authors propose a methodology for proving security in scenarios based on services that make use of Roots-of-Trust (RoTs), by idealizing the internal functionalities of the security device, except those that provide explicit cryptographic functionalities for the service being offered.
Continue reading UBITECH presents a scientific paper on verifying complex protocols using trusted computing at ESORICS STM 2021