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...
CCS
2008
ACM
15 years 3 months ago
Remote attestation on program execution
Liang Gu, Xuhua Ding, Robert Huijie Deng, Bing Xie...
120
Voted
CCS
2011
ACM
14 years 1 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
74
Voted
OOPSLA
2004
Springer
15 years 7 months ago
Interactive visualization of object-oriented programs
Paul V. Gestwicki
65
Voted
OOPSLA
2004
Springer
15 years 7 months ago
Towards a framework for the general intensional programming compiler in the GIPSY
Joey Paquet, Aihua Wu, Peter Grogono