224 search results - page 1 / 45 » An Information Flow Verifier for Small Embedded Systems |
WISTP
2007
Springer
13 years 10 months ago
2007
Springer
ESOP
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
TPHOL
2005
IEEE
13 years 10 months ago
2005
IEEE
Abstract. Denotational semantics for a substantial fragment of Java is formalized by deep embedding in PVS, making extensive use of dependent types. A static analyzer for secure in...
WORDS
2005
IEEE
13 years 10 months ago
2005
IEEE
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...
CCS
2004
ACM
13 years 9 months ago
2004
ACM
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have machine-checked a recent work of B...