There is a newer version of the record available.

Published January 31, 2025 | Version v1
Software Open

AMuLeT: Automated Design-Time Testing of Secure Speculation Countermeasures

Creators

  • 1. ROR icon University of Toronto
  • 2. ROR icon Technion – Israel Institute of Technology
  • 3. ROR icon IMDEA Software
  • 4. Simon Fraser University
  • 5. IMDEA Software Institute
  • 6. Azure Research, Microsoft

Description

Please instead use these latest updated versions whenever possible: 

AMuLeT (Core): https://github.com/sith-lab/amulet

AMuLeT-gem5 - InvisiSpec: https://github.com/sith-lab/amulet-gem5/tree/invisispec

AMuLeT-gem5 - CleanupSpec: https://github.com/sith-lab/amulet-gem5/tree/cleanupspec

AMuLeT-gem5 - STT: https://github.com/sith-lab/amulet-gem5/tree/stt

AMuLeT-gem5 - SpecLFB: https://github.com/sith-lab/amulet-gem5/tree/speclfb

Files

amulet-AE.zip

Files (254.3 MB)

Name Size Download all
md5:0ce66f077404445ec8f5035b15625082
53.7 MB Preview Download
md5:088298e76832efc48e608f29857eb5d4
45.6 MB Preview Download
md5:64e2967273249e25b057a5f8f2290969
59.8 MB Preview Download
md5:6428b7c8398f1112429594d4c702039d
27.2 MB Preview Download
md5:5460e0fd7012add2fb98d6d9ab17391f
68.0 MB Preview Download

Additional details

Is derived from
Software: https://github.com/microsoft/sca-fuzzer (URL)
Conference paper: 10.1145/3503222.3507729 (DOI)
Software: https://www.gem5.org/ (URL)
References
Software: https://gitee.com/chip-security/SpecLFB/tree/main/SpecLFB-gem5 (URL)
Conference paper: 10.5555/3698900.3698936 (DOI)
Software: https://github.com/cwfletcher/stt (URL)
Conference paper: 10.1145/3491201 (DOI)
Software: https://github.com/gururaj-s/cleanupspec (URL)
Conference paper: 10.1145/3352460.3358314 (DOI)
Software: https://github.com/mjyan0720/InvisiSpec-1.0 (URL)
Conference paper: 10.1145/3352460.3361129 (DOI)

Software

Repository URL
https://github.com/sith-lab/amulet
Programming language
Python, C++, C
Development Status
Active