Concepedia

Antonio Durante

AD

Statistics

Publications

6

Citations

192

H-Index

6

Active since

2000

Affiliations

Sapienza University of Rome(Current)

University of Bologna

Ca' Foscari University of Venice

Antonio Durante is an author at Sapienza University of Rome specializing in engineering, formal verification, and data security.

Top concepts

EngineeringCryptographyData SecurityComputer ScienceFormal VerificationInformation SecurityCompilersFormal MethodsProgram AnalysisHardware Security

Publications per year

2000–2006

6

Publications

6

Detecting Fabric Defects with a Neural Network Using Two Kinds of Optical Patterns

Antonio Tilocca, Paolo Borzone, Stefano Carosio et al. · Textile Research Journal · 2002 · 49 citations

Optical Patterns, Textile Engineering, Machine Vision +15

A compiler for analyzing cryptographic protocols using noninterference

Antonio Durante, Riccardo Focardi, Roberto Gorrieri · ACM Transactions on Software Engineering and Methodology · 2000 · 46 citations · Full text

Cryptographic Primitive, Engineering, Information Security +19

CVS: a compiler for the analysis of cryptographic protocols

Antonio Durante, Riccardo Focardi, Roberto Gorrieri · 2003 · 40 citations

Cryptographic Primitive, Engineering, Information Security +21

A compiler for analyzing cryptographic protocols using non-interference

Antonio Durante, Riccardo Focardi, Roberto Gorrieri · PORTO Publications Open Repository TOrino (Politecnico di Torino) · 2000 · 31 citations

Hardware Security, Cryptographic Primitive, Engineering +11

Addressing the shortcomings of one-way chains

Roberto Di Pietro, Luigi V. Mancini, Antonio Durante et al. · 2006 · 13 citations

One-way Hash Chains, Cryptographic Primitive, Engineering +22

1–5 of 6