Titel

Merkliste
1 Ergebnisse

Lifting Micro-Update Models from RTL for Formal Security An..:

, In: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2,

Godbole, Adwait ; Cheang, Kevin ; Manerkar, Yatin A.. - p. 631-648 , 2024

Link: https://dl.acm.org/doi/10.1145/3620665.3640418

RT 
T1 <cTitle>Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2</cTitle>: T1 <Title>Lifting Micro-Update Models from RTL for Formal Security Analysis</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-3640418&Exemplar=1&LAN=DE
				
A1 Godbole, Adwait
A1 Cheang, Kevin
A1 Manerkar, Yatin A.
A1 Seshia, Sanjit A.
PB ACM
YR 2024
K1 Security and privacy
K1 Security in hardware
K1 Hardware reverse engineering
K1 Hardware attacks and countermeasures
K1 Side-channel analysis and countermeasures
K1 Formal methods and theory of security
K1 Formal security models
K1 Logic and verification
K1 Hardware
K1 Hardware validation
K1 Functional verification
K1 Theory of computation
K1 Logic
K1 Verification by model checking
K1 Models of computation
K1 Software and its engineering
K1 Software organization and properties
K1 Software functional properties
K1 Formal methods
SP 631
OP 648
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/3620665.3640418
DO https://dl.acm.org/doi/10.1145/3620665.3640418
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)