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

Formal Methods for Security?

Poll, Erik

Publication date

January 2019

Publisher

Utrecht : Utrecht University

Abstract

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

Extracted data

Related items

Implementing a formally verifiable security protocol in Java Card

Hubbers, E.M.G.M.
Oostdijk, M.D.
Poll, E.

January 2004

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

Update Semantics of Security Protocols

Hommersom, A.J.
Meyer, J.--J.Ch.
Vink, E.P. de

January 2004

Contains fulltext : 60368.pdf (publisher's version ) (Closed 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) ...

Practical Formal Methods

Keiren, J.J.A.

January 2019

Contains fulltext : 207828.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

Formal Techniques for Java-Like Programs

Eisenbach, S.
Leavens, G.T.
Müller, P.
Poetzsch-Heffter, A.
Poll, E.

January 2004

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

Increased security through open source

Hoepman, J.H.
Jacobs, B.P.F.

January 2007

Contains fulltext : 34619.pdf (postprint version ) (Open Access

Data values encryption method

Daemen, Joan
Assche, G. Van

January 2021

Contains fulltext : 235094.pdf (Publisher’s version ) (Open Access)15 april 202

Secure Method Invocation in JASON

Brinkman, R.
Hoepman, J.-H.

January 2002

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

Privacy: code in context

Hoepman, J.-H.
Jacobs, B.

January 2011

Contains fulltext : 92226.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) ...

Hoepman, J.-H.
Lieshout, M.J. van

January 2012

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

Formal proof -- getting started

Wiedijk, F.

January 2008

Contains fulltext : 72455.pdf (publisher's 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

Privacyaspecten

Berkvens, J.M.A.

January 2014

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

Implementing a formally verifiable security protocol in Java Card

Hubbers, E.M.G.M.
Oostdijk, M.D.
Poll, E.

January 2004

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

Update Semantics of Security Protocols

Hommersom, A.J.
Meyer, J.--J.Ch.
Vink, E.P. de

January 2004

Contains fulltext : 60368.pdf (publisher's version ) (Closed 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) ...

Practical Formal Methods

Keiren, J.J.A.

January 2019

Contains fulltext : 207828.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

Formal Techniques for Java-Like Programs

Eisenbach, S.
Leavens, G.T.
Müller, P.
Poetzsch-Heffter, A.
Poll, E.

January 2004

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

Increased security through open source

Hoepman, J.H.
Jacobs, B.P.F.

January 2007

Contains fulltext : 34619.pdf (postprint version ) (Open Access

Data values encryption method

Daemen, Joan
Assche, G. Van

January 2021

Contains fulltext : 235094.pdf (Publisher’s version ) (Open Access)15 april 202

Secure Method Invocation in JASON

Brinkman, R.
Hoepman, J.-H.

January 2002

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

Privacy: code in context

Hoepman, J.-H.
Jacobs, B.

January 2011

Contains fulltext : 92226.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) ...

Hoepman, J.-H.
Lieshout, M.J. van

January 2012

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

Formal proof -- getting started

Wiedijk, F.

January 2008

Contains fulltext : 72455.pdf (publisher's 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

Privacyaspecten

Berkvens, J.M.A.

January 2014

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

Implementing a formally verifiable security protocol in Java Card

Hubbers, E.M.G.M.
Oostdijk, M.D.
Poll, E.

January 2004

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

Update Semantics of Security Protocols

Hommersom, A.J.
Meyer, J.--J.Ch.
Vink, E.P. de

January 2004

Contains fulltext : 60368.pdf (publisher's version ) (Closed 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) ...