Design and Verification of Microprocessor Systems for High-Assurance Applications
Latest Publications

TOTAL DOCUMENTS

13

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer US

9781441915382, 9781441915399

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Information Security Modeling and Analysis

Design and Verification of Microprocessor Systems for High-Assurance Applications ◽

10.1007/978-1-4419-1539-9_9 ◽

2010 ◽

pp. 249-299 ◽

Author(s):

David A. Greve

Keyword(s):

Information Security ◽

Modeling And Analysis ◽

Security Modeling

Download Full-text

A Mechanically Verified Commercial SRT Divider

Design and Verification of Microprocessor Systems for High-Assurance Applications ◽

10.1007/978-1-4419-1539-9_2 ◽

2010 ◽

pp. 23-63

Author(s):

David M. Russinoff

Download Full-text

Formal Verification of Partition Management for the AAMP7G Microprocessor

Design and Verification of Microprocessor Systems for High-Assurance Applications ◽

10.1007/978-1-4419-1539-9_6 ◽

2010 ◽

pp. 175-191 ◽

Author(s):

Matthew M. Wilding ◽

David A. Greve ◽

Raymond J. Richards ◽

David S. Hardin

Keyword(s):

Formal Verification

Download Full-text

Use of Formal Verification at Centaur Technology

Design and Verification of Microprocessor Systems for High-Assurance Applications ◽

10.1007/978-1-4419-1539-9_3 ◽

2010 ◽

pp. 65-88 ◽

Author(s):

Warren A. Hunt ◽

Sol Swords ◽

Jared Davis ◽

Anna Slobodova

Keyword(s):

Formal Verification

Download Full-text

Refinement in the Formal Verification of the seL4 Microkernel

Design and Verification of Microprocessor Systems for High-Assurance Applications ◽

10.1007/978-1-4419-1539-9_11 ◽

2010 ◽

pp. 323-339 ◽

Author(s):

Gerwin Klein ◽

Thomas Sewell ◽

Simon Winwood

Keyword(s):

Formal Verification

Download Full-text

Model Checking Information Flow

Design and Verification of Microprocessor Systems for High-Assurance Applications ◽

10.1007/978-1-4419-1539-9_13 ◽

2010 ◽

pp. 381-428 ◽

Author(s):

Michael W. Whalen ◽

David A. Greve ◽

Lucas G. Wagner

Keyword(s):

Model Checking ◽

Information Flow

Download Full-text

Compiling Higher Order Logic by Proof

Design and Verification of Microprocessor Systems for High-Assurance Applications ◽

10.1007/978-1-4419-1539-9_7 ◽

2010 ◽

pp. 193-220

Author(s):

Konrad Slind ◽

Guodong Li ◽

Scott Owens

Keyword(s):

Higher Order ◽

Order Logic ◽

Higher Order Logic

Download Full-text

Designing Tunable, Verifiable Cryptographic Hardware Using Cryptol

Design and Verification of Microprocessor Systems for High-Assurance Applications ◽

10.1007/978-1-4419-1539-9_4 ◽

2010 ◽

pp. 89-143 ◽

Author(s):

Sally Browning ◽

Philip Weaver

Keyword(s):

Cryptographic Hardware

Download Full-text

Specification and Checking of Software Contracts for Conditional Information Flow

Design and Verification of Microprocessor Systems for High-Assurance Applications ◽

10.1007/978-1-4419-1539-9_12 ◽

2010 ◽

pp. 341-379 ◽

Author(s):

Torben Amtoft ◽

John Hatcliff ◽

Edwin Rodríguez ◽

Robby ◽

Jonathan Hoag ◽

...

Keyword(s):

Information Flow ◽

Conditional Information ◽

Software Contracts

Download Full-text

Modeling and Security Analysis of a Commercial Real-Time Operating System Kernel

Design and Verification of Microprocessor Systems for High-Assurance Applications ◽

10.1007/978-1-4419-1539-9_10 ◽

2010 ◽

pp. 301-322 ◽

Author(s):

Raymond J. Richards

Keyword(s):

Operating System ◽

Real Time ◽

Security Analysis ◽

Real Time Operating System

Download Full-text