Amit Seal Ami is researching Security and Software Engineering as Ph.D. Candidate at the Computer Science Department, William & Mary. He is Co-advised by Dr. Adwait Nadkarni and Dr. Denys Poshyvanyk, as part of the SPL and SEMERU research groups.
Using software engineering research techniques, he creates systematic evaluation frameworks that can help improve security focused techniques or software.
News Highlights
- (05/2024) [🏆 Distinguished Paper 🏆] award from the IEEE S&P 2024! [Paper]
- (04/2024) [International Student Achievement Award] from W&M!
- (02/2024) [Poster-NDSS] accepted at the Network and Distributed System Security (NDSS) Symposium 2024!
- (11/2023) [Best-Poster-Award] Best Poster Award at the W&M CS Symposium 2023!
- (08/2023) [Paper-USENIX] “Belt and suspenders” or “just red tape”?: Investigating Early Artifacts and User Perceptions of IoT App Security Certification has been accepted at the 33rd USENIX Security Symposium!
- (07/2023) [Paper-S&P] “False negative - that one is going to kill you”: Understanding Industry Perspectives of Static Analysis based Security Testing* has been accepted at the 2024 IEEE Symposium on Security and Privacy!
- (03/2023) [Fatherhood] I, with my beautiful wife Prianka, became parents to a baby girl, named Agnika!
- (10/2022) [Cybersecurity-Policy] at the Joint Commission on Technology and Science (JCOTS), Virginia Meeting, presided by Delegate C.E. Cliff Hayes, Jr. to suggest Cybersecurity Policies for the Commonwealth of Virginia
- (04/2022) [Policy-Fellowship] To work as a 2022 Commonwealth of Virginia Engineering and Science (COVES) Fellow at the Joint Commission on Technology and Science, Virginia!
- (02/2022) [Poster-NDSS] accepted at the Network and Distributed System Security (NDSS) Symposium 2022!
- (10/2021) [Invited Talk-GMU] Software Engineering Seminar Series at George Mason University on “Why Crypto-detectors Fail: A Systematic Evaluation of Cryptographic Misuse Detection Techniques”
- (08/2021) [Paper-S&P] Why Crypto-detectors Fail: A Systematic Evaluation of Cryptographic Misuse Detection Techniques accepted for publication at 43rd IEEE Symposium on Security and Privacy (Oakland’22)!
- (06/2021) [Fellowship] Coastal Virginia Center for Cyber Innovation - COVA CCI - Cybersecurity Dissertation Fellowship!
- (01/2021) [Paper-ICSE] μSE: Mutation-based Evaluation of Security-focused Static Analysis Tools for Android accepted at International Conference on Software Engineering (ICSE’21)
- (11/2020) [Paper-ACM-TOPS] Systematic Mutation-based Evaluation of the Soundness of Security-focused Android Static Analysis Techniques accepted at ACM Transactions on Privacy and Security (TOPS)
- (07/2019) [Fellowship] Continuation of Graduate Studies and Research Fellowship Award of William & Mary
- (08/2018) [Fellowship] Graduate Studies and Research Fellowship of William & Mary - sponsored by Arts and Sciences Graduate Studies Advisory Board
Activities Highlights
- (01/2024) [ESSEC] Presented a poster on False Negatives Kill at the ESSEC’24 at W&M!
- (12/2023) [Doctoral Symposium-ESEC/FSE] Presented Systematically Evaluating Static Analysis-Based Security Testing Tools - The Gaps within Design and Practice at the ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) 2023!
- (12/2023) [Paper-ESEC/FSE] Presented MASC: A Tool for Mutation-based Evaluation of Static Crypto-API Misuse Detectors at the tool demo track at the ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) 2023!
- (08/2023) [Instructor of Record] Hired at W&M to teach Programming for Data Science!
- (11/2023) [Graduate Panelist] of 2023 W&M CS Symposium
- (05/2023) [Guest Lecture] Guest lectured class at W&M on Security of IoT/Software and Compliance!
- (12/2022) [Workshop] Conducted Vulnerability Analysis Tutorial & Workshop at William & Mary
- (10/2022) [Web Chair] Graduate Panelist and Web Chair of the 2022 W&M CS Symposium
- (09/2022) [Press] Featured by W&M NEWS for leading research on Crypto-detectors and False sense of data security
- (05/2022) [Paper-Talk-S&P] Why Crypto-detectors Fail: A Systematic Evaluation of Cryptographic Misuse Detection Techniques
- (05/2022) [Guest Lecture] At W&M on Security of IoT/Software and Compliance!
- (11/2021) [Invited Lecture-W&M] Why Crypto-detectors Fail at Mobile Applications Security (CSci 445) course at William & Mary
- (05/2021) [Attended/Award] IEEE S&P’21 with Student Registration Grant!
- (02/2021) [Attended/Award] NDSS’21 with Student Travel Grant!
- (10/2020) [Workshop] Conducted Vulnerability Analysis Tutorial & Workshop at William & Mary
- (09/2020) [Attended] at ACM CCS Individualized Cybersecurity Research Mentoring (iMentor) Workshop