2 citations · 2 across the 3 of their papers we have counts for
5 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…