Taxonomic Search: andy OR adamsmoran
Results 1 - 10 of 12
Hovering over speakers’ names will display titles in most browsers.
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).
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.
CALL FOR PRESENTATIONS
16th International Workshop on Software and Compilers for Embedded SystemsM-SCOPES 2013
June 19-21, 2013
Schloss Rheinfels, St. Goar, Germanyhttp://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.