Search Sciweavers | Sciweavers

4731 search results - page 22 / 947

» Securing Interactive Programs

click to vote

PPDP
2005
Springer

176views Programming Languages» more PPDP 2005»

Trace effects and object orientation

14 years 1 months ago

Download www.cs.uvm.edu

fects are statically generated program abstractions, that can be model checked for veriﬁcation of assertions in a temporal program logic. In this paper we develop a type and eff...

Christian Skalka

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 2 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

13 years 11 months 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 10 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 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers