Search Sciweavers | Sciweavers

1210 search results - page 61 / 242

» Secure Logic Synthesis

click to vote

DATE
2004
IEEE

149views Hardware» more DATE 2004»

A Logic Level Design Methodology for a Secure DPA Resistant ASIC or FPGA Implementation

14 years 1 months ago

Download www.ee.ucla.edu

This paper describes a novel design methodology to implement a secure DPA resistant crypto processor. The methodology is suitable for integration in a common automated standard ce...

Kris Tiri, Ingrid Verbauwhede

claim paper

Read More »

click to vote

ISICT
2003

165views Information Technology» more ISICT 2003»

On the automated implementation of modal logics used to verify security protocols

13 years 11 months ago

Download www.ece.ul.ie

: Formal verification provides a rigid and thorough means of evaluating the correctness of cryptographic protocols so that even subtle defects can be identified. As the application...

Tom Coffey, Reiner Dojen, Tomas Flanagan

claim paper

Read More »

click to vote

EDCC
2010
Springer

267views Applied Computing» more EDCC 2010»

Software Process Synthesis in Assurance Based Development of Dependable Systems

14 years 2 months ago

Download www.cs.virginia.edu

—Assurance Based Development (ABD) is a novel approach to the synergistic construction of critical software systems and their assurance arguments. In ABD, the need for assurance ...

Patrick J. Graydon, John C. Knight

claim paper

Read More »

click to vote

MMMACNS
2005
Springer

119views Information Technology» more MMMACNS 2005»

A Temporal Logic-Based Model for Forensic Investigation in Networked System Security

14 years 3 months ago