Zobrazeno 1 - 10
of 33
pro vyhledávání: '"Nunes, Ivan De Oliveira"'
Control Flow Attestation (CFA) offers a means to detect control flow hijacking attacks on remote devices, enabling verification of their runtime trustworthiness. CFA generates a trace (CFLog) containing the destination of all branching instructions e
Externí odkaz:
http://arxiv.org/abs/2409.19125
At the edge of modern cyber-physical systems, Micro-Controller Units (MCUs) are responsible for safety-critical sensing/actuation. However, MCU cost constraints rule out the usual security mechanisms of general-purpose computers. Thus, various low-co
Externí odkaz:
http://arxiv.org/abs/2409.18403
This paper provides a systematic exploration of Control Flow Integrity (CFI) and Control Flow Attestation (CFA) mechanisms, examining their differences and relationships. It addresses crucial questions about the goals, assumptions, features, and desi
Externí odkaz:
http://arxiv.org/abs/2408.10200
Autor:
Tyler, Liam, Nunes, Ivan De Oliveira
Cookies maintain state across related web traffic. As such, cookies are commonly used for authentication by storing a user's session ID and replacing the need to re-enter credentials in subsequent traffic. These so-called ``session cookies'' are prim
Externí odkaz:
http://arxiv.org/abs/2405.06830
Poisoning Prevention in Federated Learning and Differential Privacy via Stateful Proofs of Execution
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/model training mechanisms. In response, approaches such as Federated Learn
Externí odkaz:
http://arxiv.org/abs/2404.06721
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 devices, various low-cost security architectures have been proposed f
Externí odkaz:
http://arxiv.org/abs/2401.04308
Autor:
Tyler, Liam, Nunes, Ivan De Oliveira
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, from smart personal spaces to complex industrial control systems and
Externí odkaz:
http://arxiv.org/abs/2312.02348
DiCA: A Hardware-Software Co-Design for Differential Checkpointing in Intermittently Powered Devices
Intermittently powered devices rely on opportunistic energy-harvesting to function, leading to recurrent power interruptions. This paper introduces DiCA, a proposal for a hardware/software co-design to create differential check-points in intermittent
Externí odkaz:
http://arxiv.org/abs/2308.12819
Autor:
Nunes, Ivan De Oliveira, Hwang, Seoyeon, Jakkamsetti, Sashidhar, Rattanavipanon, Norrathep, Tsudik, Gene
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 due to various constraints. Such devices are thus subject to malware-
Externí odkaz:
http://arxiv.org/abs/2308.11921
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 (MCUs) that lack security features available in general-purpose processors
Externí odkaz:
http://arxiv.org/abs/2303.16282