Built with and by Teycir Ben Soltane•
How to Use•FAQ•GitHub•arXiv.org•
Share:
ArXivCSExplorer
☆☆Bookmarks🏆RSSHow to UseFAQ
Home/Authors/Amitabh Das

Amitabh Das

2 indexed papers

Recent (6 mo)
2
With code
0
Influential cites
0
Benchmarked
0

Publications per year

2
26

Top categories

Crypto×2Architecture×2

Frequent co-authors

Hansika Weerasena2×
Prabhat Mishra2×

Research Timeline

2026
Formal Verification of Secure Encrypted Virtualization

This paper introduces a formal framework to rigorously verify the security guarantees (confidentiality, integrity, and availability) of AMD SEV confidential virtual machines.

Formal Verification of Secure Encrypted Virtualization

This paper introduces a formal framework to rigorously verify the security guarantees (confidentiality, integrity, and availability) of AMD SEV confidential virtual machines.

Highlighted terms show continued research focus across papers

Papers

cs.CRcs.ARRecentMay 31, 2026

Formal Verification of Secure Encrypted Virtualization

Hansika Weerasena, Amitabh Das, Prabhat Mishra

This paper introduces a formal framework to rigorously verify the security guarantees (confidentiality, integrity, and availability) of AMD SEV confidential virtual machines.

View →
cs.CRcs.ARRecentMay 31, 2026

Formal Verification of Secure Encrypted Virtualization

Hansika Weerasena, Amitabh Das, Prabhat Mishra

This paper introduces a formal framework to rigorously verify the security guarantees (confidentiality, integrity, and availability) of AMD SEV confidential virtual machines.

View →