Sage Journals: Discover world-class research

Retricted access

Research article

First published 2010-3-22

Symbolic bisimulation for the applied pi calculus *

Stéphanie Delaune, Steve Kremer, Mark D. Ryan

Journal of Computer Security

Retricted access

Research article

First published 2018-4-9

Automated reasoning for equivalences in the applied pi calculus with barriers

Bruno Blanchet, Ben Smyth

Journal of Computer Security

Retricted access

Research article

First published 2009-7-2

Verifying privacy-type properties of electronic voting protocols

Stéphanie Delaune, Steve Kremer, Mark Ryan

Journal of Computer Security

Retricted access

Research article

First published 2013-2-12

Attacking and fixing Helios: An analysis of ballot secrecy

Véronique Cortier, Ben Smyth

Journal of Computer Security

Retricted access

Research article

First published 2020-2

Formalization of fractional calculus and fractional order PI controller

Chunna Zhao, Murong Jiang, Yaqun Huan [...]

Journal of Computational Methods in Sciences and Engineering

Retricted access

Research article

First published 2014-4-23

Discovering concrete attacks on website authorization by formal analysis 1

Chetan Bansal, Karthikeyan Bhargavan, Antoine Delignat-Lavaud [...]

Journal of Computer Security

Retricted access

Research article

First published 2016-11-8

Automated analysis of security protocols with global state

Steve Kremer, Robert Künnemann

Journal of Computer Security

Retricted access

Research article

First published 2021-1

IWSN: A novel method for modeling the interaction of web services

Li Bao, Jianxiong Wan, Le Hao

Journal of Computational Methods in Sciences and Engineering

Retricted access

Research article

First published 2017-3-16

A formal analysis of the Norwegian E-voting protocol

Véronique Cortier, Cyrille Wiedling

Journal of Computer Security

Retricted access

Research article

First published 2019-6-10

A method for unbounded verification of privacy-type properties

Lucca Hirschi, David Baelde, Stéphanie Delaune

Journal of Computer Security

Search results