Tools and Methods for Program AnalysisVladimir Itsykson, Andre Scedrov, Viktor Zakharov · First published 2017Open the Tome
Software Security -- Theories and SystemsMitsuhiro Okada, Benjamin Pierce, Andre Scedrov, Hideyuki Tokuda, Akinori Yonezawa · First published 2003Open the Tome
