Sage Journals: Discover world-class research

Retricted access

Research article

First published 2002-10-1

Using reflection as a mechanism for enforcing security policies on compiled code

Ian Welch, Robert J. Stroud

Journal of Computer Security

Retricted access

Research article

First published 2008-10-13

A secure compiler for session abstractions

Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet [...]

Journal of Computer Security

Retricted access

Research article

First published 1998-1-1

Casper: A compiler for the analysis of security protocols

Gavin Lowe

Journal of Computer Security

Retricted access

Research article

First published 2016-3-1

Mashic compiler: Mashup sandboxing based on inter-frame communication

Zhengqin Luo, José Fragoso Santos, Ana Almeida Matos [...]

Journal of Computer Security

Retricted access

Research article

First published 2026-5

SoK: Robust properties,robust abstractions and back-translations

Emiel Lanckriet, Frank Piessens, Dominique Devriese

Journal of Computer Security

Retricted access

Review article

First published 1967-3

Book Reviews : Collective Security. Compiled and edited by MARINA S. FINKELSTEIN and LAWRENCE S. FINKELSTEIN. (San Francisco: Chandler Publishing Company,1966. Pp.xii,278.)

J. William Robinson

Political Research Quarterly

Retricted access

Research article

First published 2015-7

Proved generation of implementations from computationally secure protocol specifications 1

David Cadé, Bruno Blanchet

Journal of Computer Security

Retricted access

Research article

First published 2019-3-29

DABKE: Secure deniable attribute-based key exchange framework

Yangguang Tian, Yingjiu Li, Guomin Yang [...]

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

Review article

First published 1981-03

Reviews : Security Materials: A Compilation of Informational Articles on Various Security Programs in Use,by Raymond C. Ellis,Jr. Educational Institute,American Hotel and Motel Association,Stephen S. Nisbet Build ing,1407 South Harrison Road,East Lansing,MI 48823. 1979. 78 pp. Softcover,$15.00

John E. H. Sherry

Cornell Hospitality Quarterly

Search results