Operationally proving memory access violations in Isabelle/HOL

Overview of attention for article published in Science of Computer Programming, May 2024

Altmetric Badge

About this Attention Score

Average Attention Score compared to outputs of the same age
Good Attention Score compared to outputs of the same age and source (77th percentile)

Mentioned by

twitter: 2 X users

Readers on

mendeley: 4 Mendeley

So far, Altmetric has seen 2 X posts from 2 X users, with an upper bound of 5,105 followers.

Ahmadi et al. explore memory isolation in S μV & TrustLite for secure apps. Using BAP to translate code, they delve into operational semantics and conformance. They ensure assembly-level instructions adhere to memory access restrictions. https://t.…

Operationally proving memory access violations in Isabelle/HOL. ~ Sharar Ahmadi, Brijesh Dongol & Matt Griffin. https://t.co/wOe2ngPIVu #ITP #IsabelleHOL

This page shows the most recent X posts that mention this research output. Click here to find out how to access more activity.