Search Results for author:
Found 7 papers, 4 papers with code
Thermal (and Hybrid Thermal/Audio) Side-Channel Attacks on Keyboard Input
We report results gathered for many representative passwords based on a user study involving 19 subjects.
PDoT: Private DNS-over-TLS with TEE Support
Security and privacy of the Internet Domain Name System (DNS) have been longstanding concerns.
Cryptography and Security
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise
This prompts the following three questions: (1) How to trust data produced by a simple remote embedded device?
Cryptography and Security
PILOT: Password and PIN Information Leakage from Obfuscated Typing Videos
This paper studies leakage of user passwords and PINs based on observations of typing feedback on screens or from projectors in the form of masked characters that indicate keystrokes.
Cryptography and Security K.6.5
Formally Verified Hardware/Software Co-Design for Remote Attestation
In this work, we take the first step towards formal verification of Remote Attestation (RA) by designing and verifying an architecture called VRASED: Verifiable Remote Attestation for Simple Embedded Devices.
Cryptography and Security
C-FLAT: Control-FLow ATtestation for Embedded Systems Software
Remote attestation is a crucial security service particularly relevant to increasingly popular IoT (and other embedded) devices.
Cryptography and Security
Fighting Authorship Linkability with Crowdsourcing
Finally, we explore the combination of crowdsourcing and machine translation and report on the results.
