all InfoSec news
Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts. (arXiv:2306.05128v1 [cs.PL])
June 9, 2023, 1:10 a.m. | Sander Huyghebaert, Steven Keuchel, Coen De Roover, Dominique Devriese
cs.CR updates on arXiv.org arxiv.org
Progress has recently been made on specifying instruction set architectures
(ISAs) in executable formalisms rather than through prose. However, to date,
those formal specifications are limited to the functional aspects of the ISA
and do not cover its security guarantees. We present a novel, general method
for formally specifying an ISAs security guarantees to (1) balance the needs of
ISA implementations (hardware) and clients (software), (2) can be
semi-automatically verified to hold for the ISA operational semantics,
producing a high-assurance …
More from arxiv.org / cs.CR updates on arXiv.org
Jobs in InfoSec / Cybersecurity
SAP Security Administrator
@ FARO Technologies | Americas-US-Lake Mary-125 Bldg
Cloud Security Engineer, Specialist
@ Vanguard | Malvern, PA
Cybersecurity Assessment and Authorization Specialist
@ Booz Allen Hamilton | USA, MD, Bethesda (9000 Rockville Pike)
Network Security Specialist
@ IAG GBS | Madrid, Spain
Information System Security Officer
@ CSEngineering | Nellis Air Force Base, NV, USA
Senior Consultant, Risk and Governance
@ CIBC | Toronto-CC East 11th Floor