Ask
Search
My library

About
Statistics
Contact
Data Protection
Accessibility
Imprint
Changelog
Frontend: v1.31.3
Backend: v1.11.4

We use cookies to provide a better user experience.

Data Protection

Inferring OpenVPN State Machines Using Protocol State Fuzzing

Daniel, L.-A.
Ruiter, J.E.J. de
Poll, E.

Publication date

January 2018

DOI

10.1109/EuroSPW.2018.00009

Publisher

Institute of Electrical and Electronics Engineers (IEEE)

Abstract

Contains fulltext : 195380.pdf (preprint version ) (Open Access) Contains fulltext : 195380pub.pdf (Publisher’s version ) (Open Access

Extracted data

Related items

Mimicking human texture classification

Rikxoort, E.M. van
Broek, E.L. van den
Schouten, Th.E.

January 2005

Contains fulltext : __32741.pdf (preprint version ) (Open Access

Provable anonymity

Garcia, F. D.
Hasuo, I.
Pieters, W.
Rossum, P.J.B. van

January 2005

Contains fulltext : 32885.pdf (publisher's version ) (Open Access

Algorithms for Inferring Register Automata

Aarts, F.D.
Howar, F.
Kuppens, H.C.W.
Vaandrager, F.

January 2014

Contains fulltext : 132764.pdf (preprint version ) (Closed access

Evidence for a B0sπ± State

Abazov, V.M.
Jong, S.J. de
Filthaut, F.
Meijer, M.M.
et al.

January 2016

Contains fulltext : 159700.pdf (preprint version ) (Open Access) ...

Computing the Leakage of Information-Hiding Systems

Andres, M.E.
Palamidessi, C.
Rossum, P. van
Smith, G.

January 2010

Contains fulltext : 83593.pdf (preprint version ) (Open Access

Full-State Keyed Duplex With Built-In Multi-User Support

Daemen, J.J.C.
Mennink, B.
Assche, G. Van

January 2017

Contains fulltext : 179010.pdf (preprint version ) (Closed access) ...

Processing Descriptions

Sandt, R.A. van der

January 2006

Contains fulltext : 40693.pdf (publisher's version ) (Open Access

Measuring Web Session Security at Scale

Calzavara, S.
Jonker, H.
Krumnow, B.
Rabitti, A.

January 2021

Contains fulltext : 238037pre.pdf (Author’s version preprint ) (Open Access) ...

Formal Methods for Security?

Poll, Erik

January 2019

Contains fulltext : 207807.pdf (preprint version ) (Open Access

Analyzing Multi-Key Security Degradation

Luykx, A.
Mennink, B.
Paterson, K.G.

January 2017

Contains fulltext : 179039.pdf (preprint version ) (Closed access) ...

Using Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol

Canetti, R.
Cheung, L.
Kaynar, D.K.
Liskov, M.
Lynch, N.
Pereira, O.
Segala, R.

January 2005

Contains fulltext : 33087.pdf (publisher's version ) (Closed access)123 p

Switched Probabilistic I/O Automata

Cheung, L.
Lynch, N.A.
Segala, R.
Vaandrager, F.W.

January 2005

Contains fulltext : 33039.pdf (preprint version ) (Open Access

Increased security through open source

Hoepman, Jaap-Henk
Jacobs, Bart

January 2007

Contains fulltext : 164852.pdf (preprint version ) (Open Access

Using task-structured probabilistic I/O automata to analyze cryptographic protocols

Canetti, R.
Cheung, L.
Kaynar, D.K.
Liskov, M.
Lynch, N.
Pereira, O.
Segala, R.

January 2006

Contains fulltext : 34939.pdf (preprint version ) (Open Access

Learning and Testing the Bounded Retransmission Protocol

Aarts, Fides
Kuppens, H.C.W.
Tretmans, G.J.
Vaandrager, F.
Verwer, S.E.

January 2012

Contains fulltext : 103474.pdf (publisher's version ) (Closed access) ...

Mimicking human texture classification

Rikxoort, E.M. van
Broek, E.L. van den
Schouten, Th.E.

January 2005

Contains fulltext : __32741.pdf (preprint version ) (Open Access

Provable anonymity

Garcia, F. D.
Hasuo, I.
Pieters, W.
Rossum, P.J.B. van

January 2005

Contains fulltext : 32885.pdf (publisher's version ) (Open Access

Algorithms for Inferring Register Automata

Aarts, F.D.
Howar, F.
Kuppens, H.C.W.
Vaandrager, F.

January 2014

Contains fulltext : 132764.pdf (preprint version ) (Closed access

Evidence for a B0sπ± State

Abazov, V.M.
Jong, S.J. de
Filthaut, F.
Meijer, M.M.
et al.

January 2016

Contains fulltext : 159700.pdf (preprint version ) (Open Access) ...

Computing the Leakage of Information-Hiding Systems

Andres, M.E.
Palamidessi, C.
Rossum, P. van
Smith, G.

January 2010

Contains fulltext : 83593.pdf (preprint version ) (Open Access

Full-State Keyed Duplex With Built-In Multi-User Support

Daemen, J.J.C.
Mennink, B.
Assche, G. Van

January 2017

Contains fulltext : 179010.pdf (preprint version ) (Closed access) ...

Processing Descriptions

Sandt, R.A. van der

January 2006

Contains fulltext : 40693.pdf (publisher's version ) (Open Access

Measuring Web Session Security at Scale

Calzavara, S.
Jonker, H.
Krumnow, B.
Rabitti, A.

January 2021

Contains fulltext : 238037pre.pdf (Author’s version preprint ) (Open Access) ...

Formal Methods for Security?

Poll, Erik

January 2019

Contains fulltext : 207807.pdf (preprint version ) (Open Access

Analyzing Multi-Key Security Degradation

Luykx, A.
Mennink, B.
Paterson, K.G.

January 2017

Contains fulltext : 179039.pdf (preprint version ) (Closed access) ...

Using Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol

Canetti, R.
Cheung, L.
Kaynar, D.K.
Liskov, M.
Lynch, N.
Pereira, O.
Segala, R.

January 2005

Contains fulltext : 33087.pdf (publisher's version ) (Closed access)123 p

Switched Probabilistic I/O Automata

Cheung, L.
Lynch, N.A.
Segala, R.
Vaandrager, F.W.

January 2005

Contains fulltext : 33039.pdf (preprint version ) (Open Access

Increased security through open source

Hoepman, Jaap-Henk
Jacobs, Bart

January 2007

Contains fulltext : 164852.pdf (preprint version ) (Open Access

Using task-structured probabilistic I/O automata to analyze cryptographic protocols

Canetti, R.
Cheung, L.
Kaynar, D.K.
Liskov, M.
Lynch, N.
Pereira, O.
Segala, R.

January 2006

Contains fulltext : 34939.pdf (preprint version ) (Open Access

Learning and Testing the Bounded Retransmission Protocol

Aarts, Fides
Kuppens, H.C.W.
Tretmans, G.J.
Vaandrager, F.
Verwer, S.E.

January 2012

Contains fulltext : 103474.pdf (publisher's version ) (Closed access) ...

Mimicking human texture classification

Rikxoort, E.M. van
Broek, E.L. van den
Schouten, Th.E.

January 2005

Contains fulltext : __32741.pdf (preprint version ) (Open Access

Provable anonymity

Garcia, F. D.
Hasuo, I.
Pieters, W.
Rossum, P.J.B. van

January 2005

Contains fulltext : 32885.pdf (publisher's version ) (Open Access

Algorithms for Inferring Register Automata

Aarts, F.D.
Howar, F.
Kuppens, H.C.W.
Vaandrager, F.

January 2014

Contains fulltext : 132764.pdf (preprint version ) (Closed access