108 search results - page 21 / 22 » Verifying Design with Proof Scores |
100
Voted
PLDI
2009
ACM
15 years 5 months ago
2009
ACM
Translation validation is a technique for checking that, after an optimization has run, the input and output of the optimization are equivalent. Traditionally, translation validat...
94
Voted
SACMAT
2006
ACM
15 years 4 months ago
2006
ACM
We propose an integrity measurement approach based on information flow integrity, which we call the Policy-Reduced Integrity Measurement Architecture (PRIMA). The recent availabi...
96
Voted
ACMICEC
2004
ACM
15 years 3 months ago
2004
ACM
Electronic voting has become one of the most popular activities over the Internet. Security and privacy are always regarded as crucial factors in electronic voting system design. ...
SENSYS
2003
ACM
15 years 3 months ago
2003
ACM
Sensor networks promise viable solutions to many monitoring problems. However, the practical deployment of sensor networks faces many challenges imposed by real-world demands. Sen...
104
Voted
CCS
2008
ACM
15 years 7 days ago
2008
ACM
Hash tables are fundamental data structures that optimally answer membership queries. Suppose a client stores n elements in a hash table that is outsourced at a remote server so t...