146 search results - page 28 / 30 » Homomorphic encryption from codes |
TLDI
2009
ACM
14 years 4 months ago
2009
ACM
Storing state in the client tier (in forms or cookies, for example) improves the efficiency of a web application, but it also renders the secrecy and integrity of stored data vul...
VEE
2009
ACM
14 years 2 months ago
2009
ACM
Virtual machine monitors (VMMs), including hypervisors, are a popular platform for implementing various security functionalities. However, traditional VMMs require numerous compon...
ISSTA
2010
ACM
13 years 9 months ago
2010
ACM
In May 2009, Google conducted a company wide FindBugs “fixit”. Hundreds of engineers reviewed thousands of FindBugs warnings, and fixed or filed reports against many of the...
ACNS
2004
Springer
14 years 29 days ago
2004
Springer
Abstract. Supervisory Control And Data Acquisition (SCADA) systems are real-time process control systems that are widely deployed throughout critical infrastructure sectors includi...
POPL
2000
ACM
13 years 12 months ago
2000
ACM
Adopting a programming-language perspective, we study the problem of implementing authentication in a distributed system. We define a process calculus with constructs for authent...