Sciweavers

2213 search results - page 16 / 443
» Software Security
Sort
View
VMCAI
2004
Springer
15 years 7 months ago
Security Types Preserving Compilation: (Extended Abstract)
Gilles Barthe, Amitabh Basu, Tamara Rezk
VMCAI
2004
Springer
15 years 7 months ago
Security, Protocols, and Trust
Joshua D. Guttman
91
Voted
AC
2003
Springer
15 years 7 months ago
Modeling Complexity in Secure Distributed Computing
Christian Cachin
89
Voted
AC
1998
Springer
15 years 6 months ago
Practice-Oriented Provable Security
Mihir Bellare
AC
1997
Springer
15 years 6 months ago
Internet Security Protocols
Walter Fumy