2 citations · 6 across the 9 of their papers we have counts for
9 papers
Poisoning Prevention in Federated Learning and Differential Privacy via Stateful Proofs of Execution
Norrathep Rattanavipanon, Ivan De Oliveira Nunes
The rise in IoT-driven distributed data analytics, coupled with increasing privacy concerns, has led to a demand for effective privacy-preserving and federated data collection/mode…
Towards Remotely Verifiable Software Integrity in Resource-Constrained IoT Devices
Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Norrathep Rattanavipanon +1
Lower-end IoT devices typically have strict cost constraints that rule out usual security mechanisms available in general-purpose computers or higher-end devices. To secure low-end…
UCCA: A Verified Architecture for Compartmentalization of Untrusted Code Sections in Resource-Constrained Devices
Liam Tyler, Ivan De Oliveira Nunes
Micro-controller units (MCUs) implement the de facto interface between the physical and digital worlds. As a consequence, they appear in a variety of sensing/actuation applications…
DiCA: A Hardware-Software Co-Design for Differential Checkpointing in Intermittently Powered Devices
Antonio Joia Neto, Adam Caulfield, Chistabelle Alvares +1
Intermittently powered devices rely on opportunistic energy-harvesting to function, leading to recurrent power interruptions. This paper introduces DiCA, a proposal for a hardware/…
PARseL: Towards a Verified Root-of-Trust over seL4
Ivan De Oliveira Nunes, Seoyeon Hwang, Sashidhar Jakkamsetti +2
Widespread adoption and growing popularity of embedded/IoT/CPS devices make them attractive attack targets. On low-to-mid-range devices, security features are typically few or none…
ISC-FLAT: On the Conflict Between Control Flow Attestation and Real-Time Operations
Antonio Joia Neto, Ivan de Oliveira Nunes
The wide adoption of IoT gadgets and Cyber-Physical Systems (CPS) makes embedded devices increasingly important. While some of these devices perform mission-critical tasks, they ar…
ACFA: Secure Runtime Auditing & Guaranteed Device Healing via Active Control Flow Attestation
Adam Caulfield, Norrathep Rattanavipanon, Ivan De Oliveira Nunes
Low-end embedded devices are increasingly used in various smart applications and spaces. They are implemented under strict cost and energy budgets, using microcontroller units (MCU…
CASU: Compromise Avoidance via Secure Update for Low-end Embedded Systems
Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Youngil Kim +1
Guaranteeing runtime integrity of embedded system software is an open problem. Trade-offs between security and other priorities (e.g., cost or performance) are inherent, and resolv…
ASAP: Reconciling Asynchronous Real-Time Operations and Proofs of Execution in Simple Embedded Systems
Adam Caulfield, Norrathep Rattanavipanon, Ivan De Oliveira Nunes
Embedded devices are increasingly ubiquitous and their importance is hard to overestimate. While they often support safety-critical functions (e.g., in medical devices and sensor-a…