Ikuti
Norrathep Rattanavipanon
Norrathep Rattanavipanon
Prince of Songkla University
Email yang diverifikasi di phuket.psu.ac.th - Beranda
Judul
Dikutip oleh
Dikutip oleh
Tahun
{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
1862019
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
1112018
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
1012017
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
992017
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
76*2021
{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
722020
ERASMUS: Efficient remote attestation via self-measurement for unattended settings
X Carpent, N Rattanavipanon, G Tsudik
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2018
662018
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
552018
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
332019
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
28*2018
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
282018
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
242019
{ACFA}: Secure Runtime Auditing & Guaranteed Device Healing via Active Control Flow Attestation
A Caulfield, N Rattanavipanon, IDO Nunes
32nd USENIX Security Symposium (USENIX Security 23), 5827-5844, 2023
152023
Remote attestation via self-measurement
X Carpent, N Rattanavipanon, G Tsudik
ACM Transactions on Design Automation of Electronic Systems (TODAES) 24 (1 …, 2018
112018
ASAP: reconciling asynchronous real-time operations and proofs of execution in simple embedded systems
A Caulfield, N Rattanavipanon, I De Oliveira Nunes
Proceedings of the 59th ACM/IEEE Design Automation Conference, 721-726, 2022
102022
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
72017
The SWC-Based Security Analysis Tool for Smart Contract Vulnerability Detection
N Songsom, W Werapun, J Suaboot, N Rattanavipanon
2022 6th International Conference on Information Technology (InCIT), 74-77, 2022
52022
Toward Remotely Verifiable Software Integrity in Resource-Constrained IoT Devices
IDO Nunes, S Jakkamsetti, N Rattanavipanon, G Tsudik
IEEE Communications Magazine 62 (7), 58-64, 2024
42024
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
42021
: Towards a Verified Root-of-Trust Over seL4
IDO Nunes, S Hwang, S Jakkamsetti, N Rattanavipanon, G Tsudik
2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD), 1-9, 2023
32023
Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.
Artikel 1–20