Sage Journals: Discover world-class 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

Research article

First published 2014-7-11

Guiding a general-purpose C verifier to prove cryptographic protocols

François Dupressoir, Andrew D. Gordon, Jan Jürjens [...]

Journal of Computer Security

Retricted access

Research article

First published 2020-02-06

Formal verification of a task scheduler for embedded operating systems

Haiyong Sun, Hang Lei

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

Retricted access

Research article

First published 2016-12-1

Provably secure memory isolation for Linux on ARM

Roberto Guanciale, Hamed Nemati, Mads Dam [...]

Journal of Computer Security

Free access

Review article

First published 2017-4

Civic Education policies: Their effect on university students’ spirit of nationalism and patriotism

Encep Syarief Nurdin

Citizenship,Social and Economics Education

Retricted access

Research article

First published 2015-1

Electronic Inventory Systems and Barcode Technology: Impact on Pharmacy Technical Accuracy and Error Liability

Alan R. Oldland, Larry K. Golightly, Sondra K. May [...]

Hospital Pharmacy

Retricted access

Research article

First published 2020

Abstract Contract Synthesis and Verification in the Symbolic 𝕂 Framework

María Alpuente, Daniel Pardo, Alicia Villanueva

Fundamenta Informaticae

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 2019

CTRL-PACE: Controlled Randomness for e-Passport Password Authentication *

Lucjan Hanzlik, Kamil Kluczniak, Mirosław Kutyłowski

Fundamenta Informaticae

Retricted access

Other

First published 2011-7

DEVSim++ Toolset for Defense Modeling and Simulation and Interoperation

Tag Gon Kim, Chang Ho Sung, Su-Youn Hong [...]

The Journal of Defense Modeling and Simulation: Applications,Methodology,Technology

Search results