Search Sciweavers | Sciweavers

4731 search results - page 22 / 947

» Securing Interactive Programs

183

click to vote

PPDP
2005
Springer

176views Programming Languages» more PPDP 2005»

Trace effects and object orientation

16 years 28 days 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 »

133

click to vote

OOPSLA
2009
Springer

157views Security Privacy» more OOPSLA 2009»

Flapjax: a programming language for Ajax applications

16 years 2 months ago

Download www.cis.upenn.edu

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

claim paper

Read More »

144

Voted

SP
2010
IEEE

161views Security Privacy» more SP 2010»

Towards Static Flow-Based Declassification for Legacy and Untrusted Programs

15 years 11 months ago

Download oakland31.cs.virginia.edu

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

claim paper

Read More »

154

Voted

CCS
2010
ACM

143views Security Privacy» more CCS 2010»

PAriCheck: an efficient pointer arithmetic checker for C programs

15 years 10 months ago

Download seclab.cs.sunysb.edu

Yves Younan, Pieter Philippaerts, Lorenzo Cavallar...

claim paper

Read More »

123

click to vote

CCS
2008
ACM

97views Security Privacy» more CCS 2008»

Remote attestation on program execution

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers