Search Sciweavers | Sciweavers

32032 search results - page 117 / 6407

» Verified programming in Guru

120

click to vote

CAV
2010
Springer

157views Hardware» more CAV 2010»

The Static Driver Verifier Research Platform

15 years 10 months ago

Download research.microsoft.com

Thomas Ball, Ella Bounimova, Vladimir Levin, Rahul...

claim paper

Read More »

115

click to vote

CCS
2004
ACM

70views Security Privacy» more CCS 2004»

Synthesising verified access control systems in XACML

15 years 10 months ago

Download www.cs.bham.ac.uk

Nan Zhang 0003, Mark Ryan, Dimitar P. Guelev

claim paper

Read More »

156

click to vote

CSFW
2006
IEEE

118views Security Privacy» more CSFW 2006»

Verified Interoperable Implementations of Security Protocols

15 years 10 months ago

Download research.microsoft.com

Karthikeyan Bhargavan, Cédric Fournet, Andr...

claim paper

Read More »

113

click to vote

SP
1987
IEEE

48views Security Privacy» more SP 1987»

Toward Verified Execution Environments

15 years 10 months ago

Download www.cs.utexas.edu

William R. Bevier, Warren A. Hunt Jr., William D. ...

claim paper

Read More »

133

click to vote

APCCM
2007

101views Knowledge Management» more APCCM 2007»

Towards Verifying Semistructured Data

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers