What a lovely hat
Is it made out of
tin foil
?
DBLP data
CryptoDB
Cryptobib
Sanjit A. Seshia
Google Scholar
10
publications in security and cryptology related venues
Year
Venue
Title
2024
conf/ccs
SemPat: From Hyperproperties to Attack Patterns for Scalable Analysis of Microarchitectural Security.
Adwait Godbole
Yatin A. Manerkar
Sanjit A. Seshia
2022
conf/ccs
Cerberus: A Formal Approach to Secure and Efficient Enclave Memory Sharing.
Dayeol Lee
Kevin Cheang
Alexander Thomas
Catherine Lu
Pranav Gaddamadugu
Anjo Vahldiek-Oberwagner
Mona Vij
Dawn Song
Sanjit A. Seshia
Krste Asanovic
2021
conf/asiaccs
PSec: Programming Secure Distributed Systems using Enclaves.
Shivendra Kushwah
Ankush Desai
Pramod Subramanyan
Sanjit A. Seshia
2019
conf/dsn
SOTER: A Runtime Assurance Framework for Programming Safe Robotics Systems.
Ankush Desai
Shromona Ghosh
Sanjit A. Seshia
Natarajan Shankar
Ashish Tiwari
2017
conf/ccs
A Formal Foundation for Secure Remote Execution of Enclaves.
Pramod Subramanyan
Rohit Sinha
Ilia A. Lebedev
Srinivas Devadas
Sanjit A. Seshia
2015
conf/ccs
Moat: Verifying Confidentiality of Enclave Programs.
Rohit Sinha
Sriram K. Rajamani
Sanjit A. Seshia
Kapil Vaswani
2013
conf/host
WordRev: Finding word-level structures in a sea of bit-level gates.
Wenchao Li
Adrià Gascón
Pramod Subramanyan
Wei Yang Tan
Ashish Tiwari
Sharad Malik
Natarajan Shankar
Sanjit A. Seshia
2012
conf/host
Reverse engineering circuits using behavioral pattern mining.
Wenchao Li
Zach Wasson
Sanjit A. Seshia
2009
conf/ccs
On voting machine design for verification and testability.
Cynthia Sturton
Susmit Jha
Sanjit A. Seshia
David A. Wagner
2005
conf/sp
Semantics-Aware Malware Detection.
Mihai Christodorescu
Somesh Jha
Sanjit A. Seshia
Dawn Xiaodong Song
Randal E. Bryant
Coauthors
Adrià Gascón
(1)
Adwait Godbole
(1)
Alexander Thomas
(1)
Anjo Vahldiek-Oberwagner
(1)
Ankush Desai
(2)
Ashish Tiwari
(2)
Catherine Lu
(1)
Cynthia Sturton
(1)
David A. Wagner
(1)
Dawn Song
(1)
Dawn Xiaodong Song
(1)
Dayeol Lee
(1)
Ilia A. Lebedev
(1)
Kapil Vaswani
(1)
Kevin Cheang
(1)
Krste Asanovic
(1)
Mihai Christodorescu
(1)
Mona Vij
(1)
Natarajan Shankar
(2)
Pramod Subramanyan
(3)
Pranav Gaddamadugu
(1)
Randal E. Bryant
(1)
Rohit Sinha
(2)
Sanjit A. Seshia
(10)
Sharad Malik
(1)
Shivendra Kushwah
(1)
Shromona Ghosh
(1)
Somesh Jha
(1)
Srinivas Devadas
(1)
Sriram K. Rajamani
(1)
Susmit Jha
(1)
Wei Yang Tan
(1)
Wenchao Li
(2)
Yatin A. Manerkar
(1)
Zach Wasson
(1)
Filters
Crypto
Eurocrypt
Asiacrypt
Public Key Cryptography
Theory of Cryptography
Journal of Cryptology
Transactions on Symmetric Cryptology
Transactions on Cryptographic Hardware and Embedded Computing
Communications in Cryptology
Fast Software Encryption
Cryptographic Hardware and Embedded Computing Conference
Usenix Security
IEEE Security and Privacy
ACM CCS
Network and Distributed System Security
Financial cryptography
Cryptographer's Track at RSA Conference (CT-RSA)
ESORICS
IEEE Transactions on Information Forensics and Security
Computers & Security
Journal of Information Security and Applications
IEEE Conference on Blockchains and Cryptocurrency (ICBC)
Asia CCS
European Security & privacy
Symposium on Useful Privacy and Security
Privacy Enhancing Technologies
Security and Privacy in Communication Networks
Cryptology and Network Security
Annual Computer Security Applications Conference
Dependable Systems and Networks
IEEE Computer Security Foundations Workshop
IEEE Conference and Communications and Network Security
International Conference on Applied Cryptography and Network Security
Selected Areas in Cryptology
International Conference on Information Security and Cryptology (ICISC)
International Conference on Information and Communication (ICICS)
IFIP International Information Security Conference (SEC)
Conference on Security and Privacy in Wireless and Mobile Networks (WISEC)
IEEE International Symposium on Hardware Oriented Security and Trust
New Security Paradigms Workshop
Information Hiding and Multimedia Security Workshop
Australasian Conference on Information Security and Privacy
AfricaCrypt
LatinCrypt
International Conference on Cyber Security and Resilience
Asia Joint Conference on information Security
International Conference on information Security Applications
ACM Asia Public-Key Cryptography Workshop
International Workshop on Lightweight Cryptography for Security and Privacy
Workshop on Fault Detection and Tolerance in Cryptography
International Conference on Blockchain Technology and Emerging Technologies
Provable Security
Cloud Computing Security Workshop (CCSW)
International Workshop on Security (IWSEC)
International Conference on Information System Security (ICISS)
Select all
Unselect all
Years:
to