Filtrer vos résultats
- 25
- 13
- 6
- 5
- 1
- 25
- 1
- 5
- 5
- 5
- 3
- 4
- 3
- 25
- 25
- 25
- 1
- 1
- 1
- 1
- 25
- 13
- 11
- 6
- 4
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
25 résultats
|
|
triés par
|
|
Attainable Unconditional Security for Shared-Key CryptosystemsInformation Sciences, 2016
Article dans une revue
hal-01378640v1
|
||
|
Tutorial: an Overview of Malware Detection and Evasion TechniquesISoLA 2018 - 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2018, Limassol, Cyprus. pp.1-23
Communication dans un congrès
hal-01964222v1
|
||
|
Universal Optimality of Apollonian Cell Encoders2018
Pré-publication, Document de travail
hal-01571226v3
|
||
|
Scalable Approximation of Quantitative Information Flow in Programs2017
Pré-publication, Document de travail
hal-01629131v1
|
||
|
Effectiveness of Synthesis in Concolic DeobfuscationComputers and Security, 2017, 70, pp.500-515. ⟨10.1016/j.cose.2017.07.006⟩
Article dans une revue
hal-01241356v2
|
||
|
Markovian Processes for Quantitative Information LeakageCryptography and Security [cs.CR]. IT University of Copenhagen, 2014. English. ⟨NNT : ⟩
Thèse
tel-01242619v1
|
||
|
On the Attacker's Knowledge in Shared-Key Cryptosystems2015
Pré-publication, Document de travail
hal-01241374v1
|
||
|
Effective, Efficient, and Robust Packing Detection and ClassificationComputers and Security, In press, pp.1-15
Article dans une revue
hal-01967597v1
|
||
|
Bypassing Malware Obfuscation with Dynamic SynthesisERCIM News, 2016, 106
Article dans une revue
hal-01378662v1
|
||
|
Security and Privacy of Protocols and Software with Formal Methods7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Oct 2016, Kommeno, Greece
Communication dans un congrès
hal-01378645v1
|
||
|
Information Leakage of Non-Terminating ProcessesIARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2014, Delhi, India. ⟨10.4230/LIPIcs.FSTTCS.2014.517⟩
Communication dans un congrès
hal-01086879v1
|
||
|
Attainable Unconditional Security for Shared-Key CryptosystemsThe 14th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom-15), Aug 2015, Helsinki, Finland
Communication dans un congrès
hal-01192859v1
|
||
|
Comparative Analysis of Leakage Tools on Scalable Case Studies22nd International SPIN Workshop on Model Checking of Software, Aug 2015, Stellenbosch, South Africa. ⟨10.1007/978-3-319-23404-5_17⟩
Communication dans un congrès
hal-01241352v1
|
||
|
QUAIL: A Quantitative Security Analyzer for Imperative CodeCAV 2013 - 25th International Conference on Computer Aided Verification, Jul 2013, Saint Petersburg, Russia. pp.702-707, ⟨10.1007/978-3-642-39799-8_49⟩
Communication dans un congrès
hal-01242615v1
|
||
|
Information Leakage as a Scheduling ResourceInternational Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems, Sep 2017, Turin, Italy
Communication dans un congrès
hal-01382052v2
|
||
|
Maximizing Entropy over Markov ProcessesJournal of Logical and Algebraic Methods in Programming, 2014
Article dans une revue
hal-01242612v1
|
||
|
Quantifying Information Leakage of Randomized Protocols14th International Conference on Verification, Model Checking, and Abstract Interpretation, Feb 2013, Rome, Italy
Communication dans un congrès
hal-01242614v1
|
||
|
HyLeak: Hybrid Analysis Tool for Information Leakage ATVA 2017 - Fifteenth International Symposium on Automated Technology for Verification and Analysis, Oct 2017, Pune, India. pp.14
Communication dans un congrès
hal-01546817v1
|
||
|
Hybrid Statistical Estimation of Mutual Information and its Application to Information Flow2018
Pré-publication, Document de travail
hal-01629033v2
|
||
|
Hybrid Statistical Estimation of Mutual Information for Quantifying Information FlowFM 2016 - 21st International Symposium on Formal Methods, Nov 2016, Limassol, Cyprus
Communication dans un congrès
hal-01378675v1
|
||
|
Efficient Extraction of Malware Signatures Through System Calls and Symbolic Execution: An Experience Report2018
Pré-publication, Document de travail
hal-01954483v1
|
||
|
Maximizing Entropy over Markov Processes7th International Conference on Language and Automata Theory and Applications, Apr 2013, Bilbao, Spain
Communication dans un congrès
hal-01242613v1
|
||
|
MASSE: Modular Automated Syntactic Signature ExtractionISSRE 2017 - The 28th International Symposium on Software Reliability Engineering - IEEE, Oct 2017, Toulouse, France. pp.1-2
Communication dans un congrès
hal-01629035v1
|
||
|
Hybrid Statistical Estimation of Mutual Information for Quantifying Information Flow2016
Pré-publication, Document de travail
hal-01241360v3
|
||
|
Measuring Global Similarity between TextsSLSP 2014 : Second International Conference on Statistical Language and Speech Processing, Oct 2014, Grenoble, France. pp.220-232, ⟨10.1007/978-3-319-11397-5_17⟩
Communication dans un congrès
hal-01087009v1
|