An intelligent circuit analysis module to analyze student queries in the universal virtual laboratory

Mahalingam, A.; Butz, B.P.; Duarte, M.

doi:10.1109/fie.2005.1612140

Cited by 4 publications

(1 citation statement)

References 1 publication

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Topological analysis tools that check whether an idealised electronic circuit is consistent with a given one [12] can be used for this purpose, since topological reachability is related to potential information flow.…”

Section: Hardware Information Flow Analysismentioning

confidence: 99%

Integrating hardware and software information flow analyses

Fidge

Corney

2009

SIGPLAN Not.

View full text Add to dashboard Cite

Security-critical communications devices must be evaluated to the highest possible standards before they can be deployed. This process includes tracing potential information flow through the device's electronic circuitry, for each of the device's operating modes. Increasingly, however, security functionality is being entrusted to embedded software running on microprocessors within such devices, so new strategies are needed for integrating information flow analyses of embedded program code with hardware analyses. Here we show how standard compiler principles can augment highintegrity security evaluations to allow seamless tracing of information flow through both the hardware and software of embedded systems. This is done by unifying input/output statements in embedded program execution paths with the hardware pins they access, and by associating significant software states with corresponding operating modes of the surrounding electronic circuitry.

show abstract

Section: Hardware Information Flow Analysismentioning

confidence: 99%