Search Sciweavers | Sciweavers

2257 search results - page 19 / 452

» Secure program partitioning

click to vote

ICALP
2000
Springer

139views Programming Languages» more ICALP 2000»

One-Round Secure Computation and Secure Autonomous Mobile Agents

14 years 7 days 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 »

click to vote

OOPSLA
2009
Springer

157views Security Privacy» more OOPSLA 2009»

Flapjax: a programming language for Ajax applications

14 years 3 months ago

Download www.cis.upenn.edu

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

claim paper

Read More »

click to vote

SP
2010
IEEE

161views Security Privacy» more SP 2010»

Towards Static Flow-Based Declassification for Legacy and Untrusted Programs

14 years 16 days ago

Download oakland31.cs.virginia.edu

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

claim paper

Read More »

click to vote

CCS
2010
ACM

143views Security Privacy» more CCS 2010»

PAriCheck: an efficient pointer arithmetic checker for C programs

13 years 12 months ago

Download seclab.cs.sunysb.edu

Yves Younan, Pieter Philippaerts, Lorenzo Cavallar...

claim paper

Read More »

click to vote

CCS
2008
ACM

97views Security Privacy» more CCS 2008»

Remote attestation on program execution

13 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers