Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Manami Mori

dblp:390/2632 · DBLP profile ↗
← Back
1ranked-venue papers
0as first author
1since 2021 · last 2025
0009-0007-6801-7510ORCID · reported

Domains — the database's venue-derived domains; a paper can count in several

Security and privacy · 1 · 1 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Network and information security
1 paper
Hardware security and side channels · 75% Systems and software security · 25%
Computer architecture, parallel and distributed computing, and storage systems
1 paper
Cloud and datacenter computing · 100%

Topics — the 5 heaviest of 5, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Hardware security and side channels › trusted execution environments
confidential computing
0.912025
BadAML: Exploiting Legacy Firmware Interfaces to Compromise Confidential Virtual Machines · CCS 2025
Hardware security and side channels › trusted execution environments
confidential virtual machines
0.912025
BadAML: Exploiting Legacy Firmware Interfaces to Compromise Confidential Virtual Machines · CCS 2025
Hardware security and side channels
trusted execution environments
0.912025
BadAML: Exploiting Legacy Firmware Interfaces to Compromise Confidential Virtual Machines · CCS 2025
Systems and software security
virtualization security
0.912025
BadAML: Exploiting Legacy Firmware Interfaces to Compromise Confidential Virtual Machines · CCS 2025
Cloud and datacenter computing
cloud security
0.312025
BadAML: Exploiting Legacy Firmware Interfaces to Compromise Confidential Virtual Machines · CCS 2025

Methods — techniques the papers use, named apart from their topics

AML sandboxing · 1.7ACPI Machine Language injection · 1.7
YearPublicationVenuePosition
2025 BadAML: Exploiting Legacy Firmware Interfaces to Compromise Confidential Virtual Machines
abstract
Confidential virtual machines (CVMs) are an emerging form of trusted execution environment that enable existing operating systems (OSs) to run securely without trusting cloud providers. To this end, CVMs employ hardware-based memory encryption for runtime confidentiality and cryptographic attestation to verify memory integrity at startup. However, we reveal a previously overlooked attack vector that allows malicious cloud providers to bypass CVM attestation and execute arbitrary code within users' CVMs regardless of specific CVM configurations. Our attack, BadAML, exploits the Advanced Configuration and Power Interface (ACPI), a legacy yet widely adopted firmware interface for machine configuration. Specifically, BadAML leverages ACPI Machine Language (AML) to inject arbitrary binary code into the guest OS kernel without affecting CVM attestation. Because ACPI remains an essential component even in virtualized environments, BadAML constitutes a powerful and portable attack vector independent of guest OS type and CVM technology. We demonstrate proof-of-concept exploits of BadAML in both Linux and Windows CVM environments. We then analyze possible mitigation measures, discussing their effectiveness and limitations. Finally, we introduce AML sandboxing, a practical defense that restricts memory access to safe regions under the CVM threat model; we present its design, implementation, and evaluation, demonstrating its effectiveness across 18 real-world cloud CVM instances.
Satoru Takekoshi, Manami Mori, Takaaki Fukai, Takahiro Shinagawa
CCS2