Sage Journals: Discover world-class research

Retricted access

Research article

First published 2010-8-16

Guessing attacks and the computational soundness of static equivalence

Mathieu Baudet, Bogdan Warinschi, Martín Abadi

Journal of Computer Security

Free access

Research article

First published 2017-8

An IND-ID-CPA Secure ID-Based Cryptographic Protocol using GDLP and IFP

Chandrashekhar Meshram, Yuh-Min Tseng, Cheng-Chi Lee [...]

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 2004-1-1

Completeness theorems for the Abadi–Rogaway language of encrypted expressions 1

Daniele Micciancio, Bogdan Warinschi

Journal of Computer Security

Retricted access

Research article

First published 2005-8-24

A computational analysis of the Needham–Schroeder–(Lowe) protocol

Bogdan Warinschi

Journal of Computer Security

Retricted access

Research article

First published 2022

On Random Number Generation for Kernel Applications

Kunal Abhishek, E.George Dharma Prakash Raj

Fundamenta Informaticae

Retricted access

Research article

First published 2010-3-22

Calibrating the power of schedulers for probabilistic polynomial-time calculus

Sardaouna Hamadou, John Mullins

Journal of Computer Security

Retricted access

Research article

First published 2004-1-1

Information hiding,anonymity and privacy: a modular approach

Dominic Hughes, Vitaly Shmatikov

Journal of Computer Security

Retricted access

Research article

First published 2009-3-24

Folklore,practice and theory of robust combiners

Amir Herzberg

Journal of Computer Security

Search results