Jay Ligatti
University of South Florida(US)
Publications by Year
Research Areas
Security and Verification in Computing, Advanced Malware Detection Techniques, Access Control and Trust, Advanced Software Engineering Methodologies, Logic, programming, and type systems
Most-Cited Works
- → Control-flow integrity(2005)1,022 cited
- → Edit automata: enforcement mechanisms for run-time security policies(2004)394 cited
- → Run-Time Enforcement of Nonsafety Policies(2009)193 cited
- → Composing security policies with polymer(2005)161 cited
- → A theory of aspects(2003)137 cited
- → A Theory of Runtime Enforcement, with Results(2010)72 cited
- → A Theory of Secure Control Flow(2005)64 cited
- → Defining code-injection attacks(2012)64 cited
- → Control-flow integrity principles, implementations, and applications(2009)56 cited