Analysis

Results: 187493



#Item
31Differential Power Analysis of XMSS and SPHINCS Matthias J. Kannwischer Juliane Kr¨amer  Aymeric Genˆet Denis Butin

Differential Power Analysis of XMSS and SPHINCS Matthias J. Kannwischer Juliane Kr¨amer Aymeric Genˆet Denis Butin

Add to Reading List

Source URL: kannwischer.eu

Language: English - Date: 2018-03-15 13:22:57
32Poorly Measured Confounders Are More Useful on the Left Than on the Right Zhuan Pei Dept. of Policy Analysis and Management, Cornell University, Ithaca, NY, USA () ¨ rn-Steffen Pischke

Poorly Measured Confounders Are More Useful on the Left Than on the Right Zhuan Pei Dept. of Policy Analysis and Management, Cornell University, Ithaca, NY, USA () ¨ rn-Steffen Pischke

Add to Reading List

Source URL: econ.lse.ac.uk

Language: English - Date: 2018-03-26 09:15:07
33Exploiting Traces in Program Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable Software?? , Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA 91109, USA

Exploiting Traces in Program Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable Software?? , Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA 91109, USA

Add to Reading List

Source URL: rjoshi.org

Language: English - Date: 2010-09-11 18:26:03
34Differential Power Analysis of XMSS and SPHINCS Matthias J. Kannwischer,  Full paper available at kannwischer.eu

Differential Power Analysis of XMSS and SPHINCS Matthias J. Kannwischer, Full paper available at kannwischer.eu

Add to Reading List

Source URL: kannwischer.eu

Language: English - Date: 2018-04-11 11:26:21
35DecemberMeasure S ECONOMIC POLICY ANALYSIS

DecemberMeasure S ECONOMIC POLICY ANALYSIS

Add to Reading List

Source URL: www.goestoofar.com

Language: English - Date: 2017-04-27 11:27:54
36Extending Model Checking with Dynamic Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable Software Jet Propulsion Laboratory California Institute of Technology

Extending Model Checking with Dynamic Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable Software Jet Propulsion Laboratory California Institute of Technology

Add to Reading List

Source URL: rjoshi.org

Language: English - Date: 2010-09-11 18:45:03
37Stochastic Analysis of Chemical Reaction Networks Using Linear Noise ApproximationI Luca Cardellia,b,∗, Marta Kwiatkowskaa,∗, Luca Laurentia,∗ a  Department of Computer Science, University of Oxford

Stochastic Analysis of Chemical Reaction Networks Using Linear Noise ApproximationI Luca Cardellia,b,∗, Marta Kwiatkowskaa,∗, Luca Laurentia,∗ a Department of Computer Science, University of Oxford

Add to Reading List

Source URL: qav.comlab.ox.ac.uk

Language: English - Date: 2016-11-02 05:37:42
38Formal Analysis of Key Management APIs Graham Steel INRIA & LSV, ENS de Cachan 1/48

Formal Analysis of Key Management APIs Graham Steel INRIA & LSV, ENS de Cachan 1/48

Add to Reading List

Source URL: dream.inf.ed.ac.uk

Language: English - Date: 2010-08-26 04:16:26
39HandsFree - Next Generation Sequence Processing, Mapping and Analysis Made Easy Phillipe Loher1, Nikos Vasilakis2, John Malamon1, Huang-Wen Chen3 and Isidore Rigoutsos1,* 1

HandsFree - Next Generation Sequence Processing, Mapping and Analysis Made Easy Phillipe Loher1, Nikos Vasilakis2, John Malamon1, Huang-Wen Chen3 and Isidore Rigoutsos1,* 1

Add to Reading List

Source URL: nikos.vasilak.is

Language: English - Date: 2013-07-02 11:59:51
40Noname manuscript No. (will be inserted by the editor) Verification of B+ Trees by Integration of Shape Analysis and Interactive Theorem Proving ?

Noname manuscript No. (will be inserted by the editor) Verification of B+ Trees by Integration of Shape Analysis and Interactive Theorem Proving ?

Add to Reading List

Source URL: www.isse.uni-augsburg.de

Language: English - Date: 2017-01-11 10:46:13