| Lightweight swarm attestation: a tale of two lisa-s X Carpent, K ElDefrawy, N Rattanavipanon, G Tsudik Proceedings of the 2017 ACM on Asia Conference on Computer and …, 2017 | 69 | 2017 |
| {VRASED}: A Verified {Hardware/Software}{Co-Design} for Remote Attestation IDO Nunes, K Eldefrawy, N Rattanavipanon, M Steiner, G Tsudik 28th USENIX Security Symposium (USENIX Security 19), 1429-1446, 2019 | 67 | 2019 |
| HYDRA: hybrid design for remote attestation (using a formally verified microkernel) K Eldefrawy, N Rattanavipanon, G Tsudik Proceedings of the 10th ACM Conference on Security and Privacy in wireless …, 2017 | 65 | 2017 |
| ASSURED: Architecture for secure software update of realistic embedded devices N Asokan, T Nyman, N Rattanavipanon, AR Sadeghi, G Tsudik IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2018 | 57 | 2018 |
| ERASMUS: Efficient remote attestation via self-measurement for unattended settings X Carpent, G Tsudik, N Rattanavipanon 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2018 | 39 | 2018 |
| Remote attestation of iot devices via smarm: Shuffled measurements against roving malware X Carpent, N Rattanavipanon, G Tsudik 2018 IEEE international symposium on hardware oriented security and trust …, 2018 | 30 | 2018 |
| {APEX}: A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise IDO Nunes, K Eldefrawy, N Rattanavipanon, G Tsudik 29th USENIX Security Symposium (USENIX Security 20), 771-788, 2020 | 23 | 2020 |
| Towards systematic design of collective remote attestation protocols IDO Nunes, G Dessouky, A Ibrahim, N Rattanavipanon, AR Sadeghi, ... 2019 IEEE 39th International Conference on Distributed Computing Systems …, 2019 | 22 | 2019 |
| Invited: Reconciling remote attestation and safety-critical operation on simple IoT devices X Carpent, K Eldefrawy, N Rattanavipanon, AR Sadeghi, G Tsudik 2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC), 1-6, 2018 | 20 | 2018 |
| On the TOCTOU problem in remote attestation I De Oliveira Nunes, S Jakkamsetti, N Rattanavipanon, G Tsudik Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications …, 2021 | 19* | 2021 |
| Temporal consistency of integrity-ensuring computations and applications to embedded systems security X Carpent, K Eldefrawy, N Rattanavipanon, G Tsudik Proceedings of the 2018 on Asia Conference on Computer and Communications …, 2018 | 18 | 2018 |
| Pure: Using verified remote attestation to obtain proofs of update, reset and erasure in low-end embedded systems I de Oliveira Nunes, K Eldefrawy, N Rattanavipanon, G Tsudik 2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 1-8, 2019 | 10 | 2019 |
| Fusing hybrid remote attestation with a formally verified microkernel: Lessons learned K Eldefrawy, N Rattanavipanon, G Tsudik 2017 47th Annual IEEE/IFIP International Conference on Dependable Systems …, 2017 | 7 | 2017 |
| Remote attestation via self-measurement X Carpent, N Rattanavipanon, G Tsudik ACM Transactions on Design Automation of Electronic Systems (TODAES) 24 (1 …, 2018 | 5 | 2018 |
| Formally verified hardware/software co-design for remote attestation IDO Nunes, K Eldefrawy, N Rattanavipanon, M Steiner, G Tsudik arXiv preprint arXiv:1811.00175, 2018 | 3* | 2018 |
| Releasing ARP Data with Differential Privacy Guarantees For LAN Anomaly Detection N Rattanavipanon, D Ponnoprat, H Ochiai, K Tantayakul, T Angchuan, ... 2021 18th International Conference on Electrical Engineering/Electronics …, 2021 | 1 | 2021 |
| Towards Automated Augmentation and Instrumentation of Legacy Cryptographic Executables K Eldefrawy, M Locasto, N Rattanavipanon, H Saidi 18th International Conference of Applied Cryptography and Network Security …, 2020 | 1* | 2020 |
| A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise I De Oliveira Nunes, K Eldefrawy, N Rattanavipanon, G Tsudik arXiv e-prints, arXiv: 1908.02444, 2019 | 1* | 2019 |
| Detecting Anomalous LAN Activities under Differential Privacy N Rattanavipanon, D Ponnoprat, H Ochiai, K Tantayakul, T Angchuan, ... Security and Communication Networks 2022, 2022 | | 2022 |
| Augmenting executables having cryptographic primitives K Eldefrawy, H Saidi, ME Locasto, N Rattanavipanon US Patent App. 16/938,664, 2021 | | 2021 |
Gene TsudikPeter & Lois Griffin Professor, Jolly Good Fellow of This & ThatVerified email at ics.uci.edu
