?
Computer Security – ESORICS 2023; Lecture Notes in Computer Science ,
1
Oblivious Extractors and Improved Security in Biometric-Bas..:
, In:
?
2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD) ,
3
$\mathcal{D}\mathsf{iCA}$: A Hardware-Software Co-Design fo..:
, In:
?
2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD) ,
4
$\mathcal{P}\text{ARseL}$: Towards a Verified Root-of-Trust..:
, In:
?
Proceedings of the 59th ACM/IEEE Design Automation Conference ,
5
ASAP : reconciling asynchronous real-time operations and..:
, In:
?
2022 IEEE Symposium on Security and Privacy (SP) ,
6
Privacy-from-Birth: Protecting Sensed Data from Malicious S..:
, In:
?
Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design ,
7
CASU : Compromise Avoidance via Secure Update for Low-En..:
, In:
?
Proceedings of the 20th International Conference on Information Processing in Sensor Networks (co-located with CPS-IoT Week 2021) ,
8
On the Root of Trust Identification Problem:
, In:
?
Proceedings of the 14th ACM Conference on Security and Privacy in Wireless and Mobile Networks ,
9
Delegated attestation : scalable remote attestation of c..:
, In:
?
Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security ,
10
On the TOCTOU Problem in Remote Attestation:
, In:
?
2019 IEEE 39th International Conference on Distributed Computing Systems (ICDCS) ,
11
Towards Systematic Design of Collective Remote Attestation ..:
, In:
?
2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) ,
13
PURE: Using Verified Remote Attestation to Obtain Proofs of..:
, In:
?
2023 IEEE 29th Real-Time and Embedded Technology and Applications Symposium (RTAS) ,
14
ISC-FLAT: On the Conflict Between Control Flow Attestation ..:
, In:
?
Proceedings of the 14th ACM Conference on Embedded Network Sensor Systems CD-ROM ,
15