Non-interference - PDFSEARCH.IO - Document Search Engine

Non-interference
Results: 253

#	Item
1	Fault-Resilient Non-interference Extended Version Filippo Del Tedesco David Sands, Alejandro Russo Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2016-07-14 14:07:58
2	Independence and Decision-Contexts for Non-Interference Conditionals∗ Michael Franke Institute for Logic, Language and Computation Universiteit van Amsterdam Add to Reading List Source URL: www.home.uni-osnabrueck.de Language: English - Date: 2018-04-18 07:39:41
3	Mixed Messages: Measuring Conformance and Non-Interference in TypeScript Jack Williams1 , J. Garrett Morris2 , Philip Wadler3 , and Jakub Zalewski4 1 2 Add to Reading List Source URL: ittc.ku.edu Language: English - Date: 2018-08-09 09:26:26
4	Non-interference in partial order models B´eatrice B´erard Lo¨ıc H´elou¨et John Mullins Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2016-01-20 15:59:48
5	Combining Type-Based Analysis and Model Checking for Finding Counterexamples against Non-Interference Hiroshi Unno Naoki Kobayashi Add to Reading List Source URL: www.cs.tsukuba.ac.jp Language: English - Date: 2011-06-15 23:12:41
6	A posteriori taint-tracking for demonstrating non-interference in expressive low-level languages Peter Aldous University of Utah Add to Reading List Source URL: spw16.langsec.org Language: English - Date: 2016-06-05 23:38:28 Compiler optimizations Computing Program analysis Abstract interpretation Data-flow analysis Abstraction Static single assignment form Graph Bytecode Register allocation Algorithm Academia
7	A posteriori taint-tracking for demonstrating non-interference in expressive low-level languages Peter Aldous and Matthew Might University of Utah Add to Reading List Source URL: spw16.langsec.org Language: English - Date: 2016-06-05 23:40:02 Password Security Denning
8	CGC/CBG meeting Epigenetics and non‐coding RNAs 10 & 11 November 2011 Add to Reading List Source URL: www.cancergenomics.nl Language: English - Date: 2011-12-29 06:21:36 Biology Genetics RNA Molecular genetics Gene expression Non-coding RNA MicroRNA Long non-coding RNA Enhancer RNAs RNA interference
9	Peanuts ® A Biotechnical Newsletter Add to Reading List Source URL: www.zymoresearch.com Language: English - Date: 2016-03-28 13:12:58 Biology Genetics RNA Biochemistry Molecular biology Gene expression Molecular genetics Non-coding RNA MicroRNA RNA-Seq RNA interference Extracellular RNA
10	Hammell et alFigure 3 Add to Reading List Source URL: blackwellweb.joslin.harvard.edu Language: English - Date: 2009-05-08 16:15:26 Genetics Biology MicroRNA RNA Gene expression Molecular genetics Lsy-6 microRNA Mir-48 Let-7 microRNA precursor RNA interference Post-transcriptional regulation Non-coding RNA

UPDATE