Sciweavers

1599 search results - page 3 / 320

» Program Analysis for Security and Privacy

120

Voted

ACSAC
2003
IEEE

81views Security Privacy» more ACSAC 2003»

Security Analysis of the SAML Single Sign-on Browser/Artifact Profile

15 years 10 months ago

Download www.acsac.org

Thomas Groß

claim paper

Read More »

125

Voted

CSFW
1997
IEEE

114views Security Privacy» more CSFW 1997»

Casper: A Compiler for the Analysis of Security Protocols

15 years 9 months ago

Casper: A Compiler for the Analysis of Security Protocols

Download web.comlab.ox.ac.uk

Gavin Lowe

claim paper

Read More »

103

ACSAC
2008
IEEE

110views Security Privacy» more ACSAC 2008»

McBoost: Boosting Scalability in Malware Collection and Analysis Using Statistical Classification of Executables

15 years 11 months ago

McBoost: Boosting Scalability in Malware Collection and Analysis Using Statistical Classification of Executables

Download security.dico.unimi.it

Roberto Perdisci, Andrea Lanzi, Wenke Lee

claim paper

Read More »

115

Voted

CSFW
2008
IEEE

118views Security Privacy» more CSFW 2008»

Access-Control Policies via Belnap Logic: Effective and Efficient Composition and Analysis

15 years 11 months ago

Access-Control Policies via Belnap Logic: Effective and Efficient Composition and Analysis

Download pubs.doc.ic.ac.uk

Glenn Bruns, Michael Huth

claim paper

Read More »

133

Voted

CSFW
2008
IEEE

91views Security Privacy» more CSFW 2008»

Formal Analysis of PKCS#11

15 years 11 months ago

Formal Analysis of PKCS#11

Download www.lsv.ens-cachan.fr

Stéphanie Delaune, Steve Kremer, Graham Ste...

claim paper

Read More »

« Prev « First page 3 / 320 Last » Next »