Sciweavers

1599 search results - page 13 / 320
» Program Analysis for Security and Privacy
Sort
View
CCS
2010
ACM
13 years 10 months ago
PAriCheck: an efficient pointer arithmetic checker for C programs
Yves Younan, Pieter Philippaerts, Lorenzo Cavallar...
CCS
2008
ACM
13 years 9 months ago
Remote attestation on program execution
Liang Gu, Xuhua Ding, Robert Huijie Deng, Bing Xie...
CCS
2011
ACM
12 years 7 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