Search Sciweavers | Sciweavers

32032 search results - page 117 / 6407

» Verified programming in Guru

click to vote

CAV
2010
Springer

157views Hardware» more CAV 2010»

The Static Driver Verifier Research Platform

15 years 8 months ago

Download research.microsoft.com

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

claim paper

Read More »

click to vote

CCS
2004
ACM

70views Security Privacy» more CCS 2004»

Synthesising verified access control systems in XACML

15 years 8 months ago

Download www.cs.bham.ac.uk

Nan Zhang 0003, Mark Ryan, Dimitar P. Guelev

claim paper

Read More »

128

click to vote

CSFW
2006
IEEE

118views Security Privacy» more CSFW 2006»

Verified Interoperable Implementations of Security Protocols

15 years 8 months ago

Download research.microsoft.com

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

claim paper

Read More »

click to vote

SP
1987
IEEE

48views Security Privacy» more SP 1987»

Toward Verified Execution Environments

15 years 8 months ago

Download www.cs.utexas.edu

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

claim paper

Read More »

110

click to vote

APCCM
2007

101views Knowledge Management» more APCCM 2007»

Towards Verifying Semistructured Data

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers