1,137 followers
RT @KuniSuzaki: Paper Formal Specification of Trusted Execution Environment APIs [Fundamental Approaches to Software Engineering (FASE24)]…
RT @KuniSuzaki: Paper Formal Specification of Trusted Execution Environment APIs [Fundamental Approaches to Software Engineering (FASE24)]…
Paper Formal Specification of Trusted Execution Environment APIs [Fundamental Approaches to Software Engineering (FASE24)] https://t.co/oOUo40TtXr ARM TrustZoneのMQT-TZのAPIを形式検証 https://t.co/eKLXYuIVlH