495 search results - page 48 / 99 » MASC - Monitoring and Security of Containers |
110
click to vote
SP
2000
IEEE
15 years 5 months ago
2000
IEEE
It is desirable to store data on data storage servers such as mail servers and file servers in encrypted form to reduce security and privacy risks. But this usually implies that ...
128
click to vote
FM
2006
Springer
15 years 5 months ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...
112
click to vote
ESORICS
2009
Springer
16 years 1 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...
113
click to vote
TCC
2010
Springer
15 years 10 months ago
2010
Springer
We present a variant of Regev’s cryptosystem first presented in [Reg05], but with a new choice of parameters. By a recent classical reduction by Peikert we prove the scheme sema...
ACSAC
2007
IEEE
15 years 7 months ago
2007
IEEE
Jails, Sandboxes and other isolation mechanisms limit the damage from untrusted programs by reducing a process’s privileges to the minimum. Sandboxing is designed to thwart such...