Sciweavers

1599 search results - page 13 / 320
» Program Analysis for Security and Privacy
Sort
View
CCS
2010
ACM
15 years 5 months ago
PAriCheck: an efficient pointer arithmetic checker for C programs
Yves Younan, Pieter Philippaerts, Lorenzo Cavallar...
69
Voted
CCS
2008
ACM
15 years 4 months ago
Remote attestation on program execution
Liang Gu, Xuhua Ding, Robert Huijie Deng, Bing Xie...
125
Voted
CCS
2011
ACM
14 years 2 months ago
Automatically optimizing secure computation
On the one hand, compilers for secure computation protocols, such as FairPlay or FairPlayMP, have significantly simplified the development of such protocols. On the other hand, ...
Florian Kerschbaum