Resolving the tension between integrity and security using a theorem prover

Subhasish Mazumdar, David Stemple, Tim Sheard

Available in: PDF

393 Downloads