107 search results - page 6 / 22 » A secure compiler for session abstractions |
OTM
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Although cryptographic implementation tasks are often undertaken by expert programmers, a plethora of performance and security driven options, as well as more mundane sof...
CC
2003
Springer
14 years 21 days ago
2003
Springer
Popular mobile code architectures (Java and .NET) include verifiers to check for memory safety and other security properties. Since their formats are relatively high level, suppor...
ERCIMDL
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Conference Management constitutes a field in Digital Libraries including tasks such as paper to reviewer assignment and session compilation. These tasks depend on the pa...
ISW
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We study the provable security of identity-based (ID-based) key agreement protocols. Although several published protocols have been proven secure in the random oracle mod...
INFOCOM
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract— Many IP multicast-based applications, such as multimedia conferencing, multiplayer games, require controlling the group memberships of senders and receivers. One common...