Skip to main content
Science of Security Virtual Organization
Header Menu
Research
Virtual Institutes
Lablets
Projects
Publications
HotSoS
Competitions
Cybersecurity Paper Competition
ISEF
Conferences
HCSS
HotSoS
C3E
Login
Not a member?
Forgot your password?
Submit
Hamburger Menu
Home
Projects
News
Events
Breadcrumb
Home
/
Nirav Ajmeri
/
User Contributions
Title
Date
Toward Effective Adoption of Security Practices
2017-03-31
Reasoning about Accidental and Malicious Misuse via Formal Methods
2019-04-09
Development of Methodology Guidelines for Security Research
2019-09-25