Taxonomic Search: andy OR adamsmoran
Results 1 - 10 of 12
Results
page
Hovering over speakers’ names will display titles in most browsers.
file
Abstract
This tutorial will discuss the architecture and implementation of the Trusted Services Engine (TSE) as well as a set of applications built on top of the TSE.
The TSE is a WebDAV server that can be simultaneously attached to networks with different security contexts. When one network’s security level dominates another, the TSE can be configured to provide “read-down”. Preventing unintended data flows (e.g., from lower to higher levels), is enforced by a high assurance software component called the Block Access Controller (BAC).
file
ABSTRACT
Symbolic simulation is a powerful technique for building mathematical models describing a program’s results by simulating execution while interpreting inputs as symbolic variables. Such models can then be used to prove properties about the corresponding source program, including equivalence against a reference implementation.
forum
Submitted by Anonymous on Fri, 04/19/2013 - 4:04pm
forum
Submitted by Anonymous on Fri, 04/19/2013 - 11:11am
CALL FOR PRESENTATIONS
16th International Workshop on Software and Compilers for Embedded Systems
M-SCOPES 2013
June 19-21, 2013
Schloss Rheinfels, St. Goar, Germany
http://www.scopesconf.org
The workshop on Software and Compilers for Embedded Systems (SCOPES) and the workshop on Mapping of Applications to MPSoCs (Map2MPSoC) will organize a joint M-SCOPES workshop in 2013.
