T
Torben Amtoft
Researcher at Kansas State University
Publications - 52
Citations - 1043
Torben Amtoft is an academic researcher from Kansas State University. The author has contributed to research in topics: Correctness & Effect system. The author has an hindex of 17, co-authored 52 publications receiving 1000 citations. Previous affiliations of Torben Amtoft include Aarhus University & Boston University.
Papers
More filters
Proceedings ArticleDOI
A logic for information flow in object-oriented programs
TL;DR: This paper specifies, via a Hoare-like logic, an interprocedural and flow sensitive (but termination insensitive) information flow analysis for object-oriented programs that employs independence assertions to describe the noninterference property that formalizes confidentiality, and employs region assertions to describes possible aliasing.
Book ChapterDOI
Information Flow Analysis in Logical Form
Torben Amtoft,Anindya Banerjee +1 more
TL;DR: This work specifies an information flow analysis for a simple imperative language, using a Hoare-like logic that facilitates static checking of a larger class of programs than can be checked by extant type-based approaches.
Journal ArticleDOI
A new foundation for control dependence and slicing for modern program structures
TL;DR: To provide a foundation for slicing reactive systems, the article proposes a notion of slicing correctness based on weak bisimulation, and proves that some of these new definitions of control dependence generate slices that conform to this notion of correctness.
Book
Type and Effect Systems: Behaviours for Concurrency
TL;DR: The type and effect system the semantics the inference algorithm the inference algorithms - completeness post-processing the analysis a case study.
Book ChapterDOI
A new foundation for control-dependence and slicing for modern program structures
TL;DR: In the context of slicing reactive systems, the paper proposes a notion of slicing correctness based on weak bisimulation and proves that the definition of control dependence generates slices that conform to this notion of correctness.