Sage Journals: Discover world-class research

Retricted access

Research article

First published 2013-12-20

Verification of security protocols with lists: From length one to unbounded length

Miriam Paiola, Bruno Blanchet

Journal of Computer Security

Retricted access

Research article

First published 2018

An efficient biometric based remote user authentication scheme for secure internet of things environment

Sandip Roy, Santanu Chatterjee, Gautam Mahapatra

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 2022-8-25

Towards post-quantum security for cyber-physical systems: Integrating PQC into industrial M2M communication 1

Sebastian Paul, Patrik Scheible, Friedrich Wiemer

Journal of Computer Security

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 2014-7-11

StatVerif: Verification of stateful processes

Myrto Arapinis, Joshua Phillips, Eike Ritter [...]

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

Retricted access

Research article

First published 2013-12-20

Privacy-supporting cloud computing by in-browser key translation

Myrto Arapinis, Sergiu Bursuc, Mark Ryan

Journal of Computer Security

Retricted access

Research article

First published 2025-9

Is one vote really enough? Vote privacy with re-voting and a dishonest ballot box

Stéphanie Delaune, Joseph Lallemand, Arthur Outrey

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

Search results