Norrathep Rattanavipanon
Norrathep Rattanavipanon
Prince of Songkla University, Phuket Campus
Подтвержден адрес электронной почты в домене phuket.psu.ac.th - Главная страница
Название
Процитировано
Процитировано
Год
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
482017
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
402017
{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
31*2019
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
272018
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
252018
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
152018
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
142019
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
142018
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
112018
On the TOCTOU Problem in Remote Attestation
I De Oliveira Nunes, S Jakkamsetti, N Rattanavipanon, G Tsudik
arXiv, arXiv: 2005.03873, 2020
4*2020
{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), 2020
42020
Remote Attestation via Self-Measurement
X Carpent, N Rattanavipanon, G Tsudik
ACM Transactions on Design Automation of Electronic Systems (TODAES) 24 (1 …, 2018
42018
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
42017
PURE: Using Verified Remote Attestation to Obtain Proofs of Update, Reset and Erasure in low-End Embedded Systems.
IDO Nunes, K Eldefrawy, N Rattanavipanon, G Tsudik
ICCAD, 1-8, 2019
32019
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
22018
Towards Automated Augmentation and Instrumentation of Legacy Cryptographic Executables: Extended Version
K Eldefrawy, M Locasto, N Rattanavipanon, H Saidi
arXiv preprint arXiv:2004.09713, 2020
12020
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, arXiv: 1908.02444, 2019
1*2019
Secure Remote Attestation for Safety-Critical Embedded and IoT Devices
N Rattanavipanon
UC Irvine, 2019
2019
Characterising users experience and critical path in mobile applications
A Finamore, J Newman, D Perino, N Rattanavipanon, C Soriente, ...
2017
Towards Automated Augmentation and Instrumentation of Legacy Cryptographic Executables
K Eldefrawy, M Locasto, N Rattanavipanon, H Saidi
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20