Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,737,455 papers from all fields of science
Search
Sign In
Create Free Account
Security type system
In computer science, a type system can be described as a syntactic framework which contains a set of rules that are used to assign a type property…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
7 relations
Computer science
Hasse diagram
Information flow
Language-based security
Expand
Broader (1)
Computer security
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Abstracting Faceted Execution 1 : 3 Next
Kristopher K. Micinski
,
David Darais
,
Thomas Gilray
2018
Corpus ID: 53610096
ing Faceted Execution Static Analysis of Dynamic Information-Flow Control for Higher-Order Languages KRISTOPHER MICINSKI…
Expand
2017
2017
SPASCA: Secure-Programming Assistant and Side-Channel Analyzer
Ximeng Li
,
H. Mantel
,
Johannes Schickel
,
Markus Tasch
,
Alexandra Weber
,
I. Toteva
2017
Corpus ID: 196047166
Information leakage in computer systems can be clustered in different classes of information leakage. Two examples of such…
Expand
2017
2017
Confidentiality enforcement by hybrid control of information flows
J. Biskup
,
Cornelia Tadros
,
Jaouad Zarouali
arXiv.org
2017
Corpus ID: 11828081
An information owner, possessing diverse data sources, might want to offer information services based on these sources to…
Expand
2016
2016
A Dependent Security Type System for Concurrent Imperative Programs
Toby C. Murray
,
Robert Sison
,
Edward Pierzchalski
,
C. Rizkallah
Arch. Formal Proofs
2016
Corpus ID: 46010324
The paper “Compositional Verification and Refinement of Concurrent Value-Dependent Noninterference” by Murray et. al. [MSPR16…
Expand
2014
2014
A Security Types Preserving Compiler in Haskell
Cecilia Manzino
,
Alberto Pardo
Brazilian Symposium on Programming Languages
2014
Corpus ID: 27749326
The analysis of information flow has become a popular technique for ensuring the confidentiality of data. An end-to-end…
Expand
2013
2013
Security Type Systems as Recursive Predicates
A. Popescu
arXiv.org
2013
Corpus ID: 1811686
We show how security type systems from the literature of language-based noninterference can be represented more directly as…
Expand
2007
2007
Controlling Timing Channels in Multithreaded Programs
Alejandro Russo
2007
Corpus ID: 196116409
The problem of controlling information flow in multithreaded programs remains an important open challenge. A major difficulty for…
Expand
2006
2006
Security Downgrading Policies for Practical Software
Jian-Bo Yao
,
Jian-Shi Li
2006
Corpus ID: 14143074
Security downgrading policies control information flow and permit information release from a high security level to low security…
Expand
2006
2006
Analyse nebenläufiger Programme unter intransitiven Sicherheitspolitiken
A. Reinhard
2006
Corpus ID: 61571098
Language-based security addresses information ow by computer programs. Here, con dentiality is the limitation of information ow…
Expand
1987
1987
CONTENTS
J. Hooisma
,
Meeter
,
N. Campbell
1987
Corpus ID: 221869942
Colloquium: Cell Recognition Immunological basis of cell recognition. By N. A. Mitchison Dictyostelium, a microbial model for…
Expand