Nickel - PDFSEARCH.IO - Document Search Engine

Nickel
Results: 3995

#	Item
1	Nickel: A Framework for Design and Verification of Information Flow Control Systems Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, Xi Wang University of Washington Add to Reading List Source URL: unsat.cs.washington.edu Language: English - Date: 2018-09-27 23:32:05 Formal methods Software engineering Computing Logic in computer science Non-interference Exception handling Formal verification Refinement Thread Futures and promises Covert channel Application programming interface
2	Nickel A Framework for Design and Verification of Information Flow Control Systems Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, and Xi Wang Add to Reading List Source URL: unsat.cs.washington.edu Language: English - Date: 2018-10-10 04:10:19 Aircraft instruments Standards Covert channel Steganography ARINC 653 ARINC Verification Human behavior Technology User interface design Design
3	PDF Document Add to Reading List Source URL: www.nickel.spb.ru - Date: 2016-12-27 07:32:36
4	PDF Document Add to Reading List Source URL: www.nickel.spb.ru - Date: 2016-12-27 07:32:37
5	PDF Document Add to Reading List Source URL: www.nickel.spb.ru - Date: 2018-06-05 06:54:02
6	PDF Document Add to Reading List Source URL: www.nickel.spb.ru - Date: 2016-12-27 07:32:35
7	PDF Document Add to Reading List Source URL: www.nickel.spb.ru - Date: 2018-01-12 02:11:15
8	PDF Document Add to Reading List Source URL: www.nickel.spb.ru - Date: 2016-12-27 07:32:35
9	PDF Document Add to Reading List Source URL: www.nickel.spb.ru - Date: 2016-12-27 07:32:37
10	PDF Document Add to Reading List Source URL: www.nickel.spb.ru - Date: 2016-12-27 07:32:39