Search Sciweavers | Sciweavers

2897 search results - page 81 / 580

» Mobile Code Security

162

click to vote

ACL2
2006
ACM

258views Computational Linguistics» more ACL2 2006»

A robust machine code proof framework for highly secure applications

16 years 17 days ago

Download www.ccs.neu.edu

David S. Hardin, Eric W. Smith, William D. Young

claim paper

Read More »

129

click to vote

AINA
2005
IEEE

152views Computer Networks» more AINA 2005»

Automatic Generation of the C# Code for Security Protocols Verified with Casper/FDR

16 years 6 days ago

Download www.irisa.fr

Chul-Wuk Jeon, Il-Gon Kim, Jin-Young Choi

claim paper

Read More »

111

click to vote

KBSE
2005
IEEE

75views Software Engineering» more KBSE 2005»

Code security analysis with assertions

16 years 5 days ago

Download computing-research.open.ac.uk

Jan Jürjens, Mark Yampolskiy

claim paper

Read More »

118

click to vote

EUC
2005
Springer

117views Applied Computing» more EUC 2005»

Security Analysis of Michael: The IEEE 802.11i Message Integrity Code

16 years 3 days ago

Download www.uow.edu.au

Jianyong Huang, Jennifer Seberry, Willy Susilo, Ma...

claim paper

Read More »

146

click to vote

AFRICACRYPT
2010
Springer

145views Cryptology» more AFRICACRYPT 2010»

Information-Theoretically Secure Key-Insulated Multireceiver Authentication Codes

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers