Catalin - PDFSEARCH.IO - Document Search Engine

Catalin
Results: 111

#	Item
11	Formally Secure Compilation of Unsafe Low-level Components Cătălin Hrițcu Inria Paris, Prosecco team https://secure-compilation.github.io Add to Reading List Source URL: prosecco.gforge.inria.fr - Date: 2018-02-26 08:01:29
12	Formally Secure Compilation of Unsafe Low-level Components Cătălin Hrițcu Inria Paris https://secure-compilation.github.io Add to Reading List Source URL: prosecco.gforge.inria.fr - Date: 2018-01-07 12:23:18
13	Everest: Towards a Verified, Drop-in Replacement of HTTPS Karthikeyan Bhargavan1 , Barry Bond2 , Antoine Delignat-Lavaud2 , Cédric Fournet2 , Chris Hawblitzel2 , Cătălin Hriţcu1 , Samin Ishtiaq2 , Markulf Kohlweiss2 Add to Reading List Source URL: jonathan.protzenko.fr - Date: 2017-04-29 10:17:09
14	Efficient Formally Secure Compilers to a Tagged Architecture Cătălin Hrițcu Inria Paris Prosecco team 5 year vision Add to Reading List Source URL: prosecco.gforge.inria.fr - Date: 2017-03-17 11:41:14
15	SECOMP Efficient Formally Secure Compilers to a Tagged Architecture Cătălin Hrițcu Inria Paris (visiting researcher at Microsoft until end of November) Add to Reading List Source URL: prosecco.gforge.inria.fr - Date: 2016-11-03 16:57:14
16	Articles Ixmyelocel-T for patients with ischaemic heart failure: a prospective randomised double-blind trial Amit N Patel, Timothy D Henry, Arshed A Quyyumi, Gary L Schaer, R David Anderson, Catalin Toma, Cara East, A Add to Reading List Source URL: www.thelancet.com - Date: 2016-04-04 08:01:57
17	Efficient Formally Secure Compilers to a Tagged Architecture Cătălin Hrițcu Inria Paris Computers are insecure Add to Reading List Source URL: prosecco.gforge.inria.fr - Date: 2016-08-28 07:29:48