A Field-Sensitive Security Monitor for Object-Oriented Programs
Under a Creative Commons license
open access
Keywords
Language-based security
Information flow control
Controller synthesis
Heap modeling
Cited by (0)
Narges Khakpour is a senior lecturer with Linnaeus University, Sweden since 2014. She received her Ph.D. in computer science from Tarbiat Modares University, Tehran in 2012. She was a research associate at KTH Royal Institute of Technology, Stockholm from 2012 to 2014, and a visiting researcher at TU Braunschweig, Germany in 2011 and Leiden University, The Netherlands in 2010. Her research interests include formal methods, security and self-* systems.
© 2021 The Author. Published by Elsevier Ltd.