March
with Datta · 2009
A researcher in the Science corpus: 1 paper; trusts 0 researchers and is trusted by 0 researchers here, as inferred from the citation graph.
Papers from March's perspective
Ordered by how strongly the researchers March trusts endorse each paper. Same corpus, a different order for every researcher.
- Terra: a virtual machine-based platform for trusted computing (Symposium on Operating Systems Principles)
- A Tool for Checking ANSI-C Programs (International Conference on Tools and Algorithms for Construction and Analysis of Systems)
- Protocols for secure computations
- SecVisor: a tiny hypervisor to provide lifetime kernel code integrity for commodity OSes (Symposium on Operating Systems Principles)
- Overshadow: a virtualization-based approach to retrofitting protection in commodity operating systems (International Conference on Architectural Support for Programming Languages and Operating Systems)
- Design and Implementation of a TCG-based Integrity Measurement Architecture
- Flicker: an execution infrastructure for tcb minimization (European Conference on Computer Systems)
- Simplify: a theorem prover for program checking (JACM)
- Boolean and Cartesian abstraction for model checking C programs (International Journal on Software Tools for Technology Transfer (STTT))
- Behavioral consistency of C and Verilog programs using bounded model checking