Identifying Security Critical Properties for the Dynamic Verification of a Processor

ACM SIGPLAN Notices - United States
doi 10.1145/3093336.3037734
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

Development and Verification of the Direct Impact Methodfor Identifying Viscoplastic Properties of Materialsin Experiments on a Gas Dynamic Vertical Test Stand

Problems of Strength and Plasticity
2009English

Tools for Local Critical Infrastructure Protection: Computational Support for Identifying Safety and Security Interdependencies Between Local Critical Infrastructures

2008English

A Dynamic Scaling FFT Processor for DVB-T Applications

IEEE Journal of Solid-State Circuits
Electronic EngineeringElectrical
2004English

Safety-Critical Java on a Java Processor

2012English

Formal Verification of Security Properties of Smart Card Embedded Source Code

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Verification of Security Protocols

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Verification of Security Protocols

English

A Digit Pipelined Dynamic Time Warp Processor.

1986English

Malicious Processor Detection Based on the Security Agent

International Journal of Security and its Applications
Computer Science
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy