Arnaud Durand

Trusted Lightweight Communication for IoT Systems Using Hardware Security

2019

This paper explores cutting-edge techniques for protecting cryptographic keys in Internet of Things (IoT) systems based on web protocols. In this context, we evaluated the use of security hardware with application-layer encryption on top of …

Tractability Frontier of Data Complexity in Team Semantics

2015 · arXiv (Cornell University)

We study the data complexity of model-checking for logics with team semantics. We focus on dependence, inclusion, and independence logic formulas under both strict and lax team semantics. Our results delineate a clear tractability/intractability frontiers …