Internet of Things (IoT) is a promising technology for creating smart environments, smart
systems, and smart services. Since security is a fundamental requirement of IoT platforms …

It is no secret that robotic systems are expanding into many human roles or are augmenting
human roles. The Robot Operating System is an open-source standard for the robotic …

Secure implementation of cryptographic algorithms is an important area of research.
Cryptographer prefers to secure algorithms against known attacks; however designer …

In this paper, we present a message authentication scheme based on cryptographically
secure cyclic redundancy check (CRC). Similarly to previously proposed cryptographically …

Polynomial hashing as an instantiation of universal hashing is a widely employed method
for the construction of MACs and authenticated encryption (AE) schemes, the ubiquitous …

In this work we investigate the problem of automating the development of adaptive chosen
ciphertext attacks on systems that contain vulnerable format oracles. Unlike previous …

As people become more and more privacy conscious, the need for end-to-end encryption
(E2EE) has become widely recognized. We study the security of SFrame, an E2EE …

This work pursues the idea of multi-forgery attacks as introduced by Ferguson in 2002. We
recoin reforgeability for the complexity of obtaining further forgeries once a first forgery has …

Polynomial-based authentication algorithms, such as GCM and Poly1305, have seen
widespread adoption in practice. Due to their importance, a significant amount of attention …

In this paper, we present a new efficient stand-alone MAC construct based on processing
using the FSM part of the stream cipher family SNOW, which in turn uses the AES round …