147 search results - page 22 / 30 » Secure Memory Accesses on Networks-on-Chip |
TLDI
2003
ACM
15 years 2 months ago
2003
ACM
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...
ESORICS
2009
Springer
15 years 10 months ago
2009
Springer
Automatic protocol reverse engineering has recently received significant attention due to its importance to many security applications. However, previous methods are all limited in...
CCS
2009
ACM
15 years 4 months ago
2009
ACM
Secure identity tokens such as Electronic Identity (eID) cards are emerging everywhere. At the same time usercentric identity management gains acceptance. Anonymous credential sch...
EUROPKI
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. The Peer-to-Peer Wireless Network Confederation (P2PWNC) is designed to be an open self-organizing Wireless LAN (WLAN) roaming association where users from one WLAN can a...
MMMACNS
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. Many design flaws and incorrect analyses of cryptographic protoAppeared in the Proceedings of the First International Workshop on Mathematical Methods, Models and Archit...