Sage Journals: Discover world-class research

Retricted access

Research article

First published 2023-10-13

A formal model of Checked C 1

Liyi Li, Yiyun Liu, Deena Postol [...]

Journal of Computer Security

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 2014-12-16

Machine-generated algorithms,proofs and software for the batch verification of digital signature schemes

Joseph A. Akinyele, Matthew Green, Susan Hohenberger [...]

Journal of Computer Security

Retricted access

Research article

First published 1987-03

Using Vision Data in an Object-Level Robot Language — RAPT

B. Yin

The International Journal of Robotics Research

Retricted access

Research article

First published 2019-1-11

Verifying constant-time implementations by abstract interpretation

Sandrine Blazy, David Pichardie, Alix Trieu

Journal of Computer Security

Retricted access

Other

First published 2006-2

Efficient decision procedures for the integration of planning and formal verification in advanced systems

Marco Maratea

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2006-2

SPEE: A Secure Program Execution Environment tool using code integrity checking

Olga Gelbart, Bhagirath Narahari, Rahul Simha

Journal of High Speed Networks

Retricted access

Research article

First published 2019-9

Ongoing solution reproducibility of earth system models as they progress toward exascale computing

Salil Mahajan, Katherine J Evans, Joseph H Kennedy [...]

The International Journal of High Performance Computing Applications

Retricted access

Other

First published 2003-10

Simulation of Graphical Models for Multiagent Probabilistic Inference

Y. Xiang, X. An, N. Cercone

SIMULATION

Retricted access

Research article

First published 1985-2

Statistical information systems design with NIAM

P.A. van der Poel

Statistical Journal of the IAOS

Search results