Search Sciweavers | Sciweavers

2257 search results - page 19 / 452

» Secure program partitioning

125

click to vote

ICALP
2000
Springer

139views Programming Languages» more ICALP 2000»

One-Round Secure Computation and Secure Autonomous Mobile Agents

15 years 9 months ago

Download www.zurich.ibm.com

d Abstract) Christian Cachin1 , Jan Camenisch1 , Joe Kilian2 , and Joy M

Christian Cachin, Jan Camenisch, Joe Kilian, Joy M...

claim paper

Read More »

107

click to vote

OOPSLA
2009
Springer

157views Security Privacy» more OOPSLA 2009»

Flapjax: a programming language for Ajax applications

16 years 23 days ago

Download www.cis.upenn.edu

Leo A. Meyerovich, Arjun Guha, Jacob P. Baskin, Gr...

claim paper

Read More »

121

Voted

SP
2010
IEEE

161views Security Privacy» more SP 2010»

Towards Static Flow-Based Declassification for Legacy and Untrusted Programs

15 years 10 months ago

Download oakland31.cs.virginia.edu

Bruno P. S. Rocha, Sruthi Bandhakavi, Jerry den Ha...

claim paper

Read More »

131

click to vote

CCS
2010
ACM

143views Security Privacy» more CCS 2010»

PAriCheck: an efficient pointer arithmetic checker for C programs

15 years 9 months ago

Download seclab.cs.sunysb.edu

Yves Younan, Pieter Philippaerts, Lorenzo Cavallar...

claim paper

Read More »

101

click to vote

CCS
2008
ACM

97views Security Privacy» more CCS 2008»

Remote attestation on program execution

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers