A Symbolic Analysis of ECC-Based Direct Anonymous Attestation

2019 IEEE European Symposium on Security and Privacy (EuroS&P) ◽

10.1109/eurosp.2019.00019 ◽

2019 ◽

Author(s):

Jorden Whitefield ◽

Liqun Chen ◽

Ralf Sasse ◽

Steve Schneider ◽

Helen Treharne ◽

...

Keyword(s):

Symbolic Analysis ◽

Direct Anonymous Attestation

Download Full-text

Author's reply: New approach to automatic symbolic analysis of electric circuits

IEE Proceedings G Circuits Devices and Systems ◽

10.1049/ip-g-2.1993.0038 ◽

1993 ◽

Vol 140 (3) ◽

pp. 231

Author(s):

S. Manetti

Keyword(s):

Symbolic Analysis ◽

New Approach ◽

Electric Circuits

Download Full-text

A Direct Anonymous Attestation Scheme in Multi-Domain Environment

Chinese Journal of Computers ◽

10.3724/sp.j.1016.2008.01122 ◽

2009 ◽

Vol 31 (7) ◽

pp. 1122-1130 ◽

Author(s):

Xiao-Feng CHEN ◽

Deng-Guo FENG

Keyword(s):

Direct Anonymous Attestation

Download Full-text

Direct Anonymous Attestation With Optimal TPM Signing Efficiency

IEEE Transactions on Information Forensics and Security ◽

10.1109/tifs.2021.3051801 ◽

2021 ◽

Vol 16 ◽

pp. 2260-2275

Author(s):

Kang Yang ◽

Liqun Chen ◽

Zhenfeng Zhang ◽

Christopher J. P. Newton ◽

Bo Yang ◽

...

Keyword(s):

Direct Anonymous Attestation

Download Full-text

EVA: an experimental video annotator for symbolic analysis of video data

ACM SIGCHI Bulletin ◽

10.1145/70609.70617 ◽

1989 ◽

Vol 21 (2) ◽

pp. 68-71 ◽

Author(s):

W. E. Mackay

Keyword(s):

Symbolic Analysis ◽

Experimental Video

Download Full-text

The role of birds in Roman imperial funerary rituals at La Magdalena (Alcalá de Henares, Spain): osteoarchaeological and symbolic analysis

Archaeological and Anthropological Sciences ◽

10.1007/s12520-021-01317-0 ◽

2021 ◽

Vol 13 (4) ◽

Author(s):

Rocío Bernal-García ◽

Felipe Gómez-Moreno ◽

Francisco J. Serrano ◽

César Heras ◽

José Yravedra

Keyword(s):

Symbolic Analysis ◽

Funerary Rituals

Download Full-text

On parallel symbolic analysis of large networks and systems

1993 IEEE International Symposium on Circuits and Systems ◽

10.1109/iscas.1993.394056 ◽

2002 ◽

Author(s):

T. Matsumoto ◽

T. Sakabe ◽

K. Tsuji

Keyword(s):

Symbolic Analysis ◽

Download Full-text

A symbolic analysis of Vermeille and Borkowski polynomials for transforming 3D Cartesian to geodetic coordinates

Journal of Geodesy ◽

10.1007/s00190-009-0325-2 ◽

2009 ◽

Vol 83 (11) ◽

pp. 1071-1081 ◽

Author(s):

Laureano Gonzalez-Vega ◽

Irene Polo-Blanco

Keyword(s):

Symbolic Analysis ◽

Geodetic Coordinates

Download Full-text

Offline symbolic analysis to infer Total Store Order

2011 IEEE 17th International Symposium on High Performance Computer Architecture ◽

10.1109/hpca.2011.5749743 ◽

2011 ◽

Author(s):

Dongyoon Lee ◽

Mahmoud Said ◽

Satish Narayanasamy ◽

Zijiang Yang

Keyword(s):

Symbolic Analysis

Download Full-text

SapWin 4.0-a new simulation program for electrical engineering education using symbolic analysis

Computer Applications in Engineering Education ◽

10.1002/cae.21671 ◽

2015 ◽

Vol 24 (1) ◽

pp. 44-57 ◽

Author(s):

F. Grasso ◽

A. Luchetta ◽

S. Manetti ◽

M. C. Piccirilli ◽

A. Reatti

Keyword(s):

Engineering Education ◽

Electrical Engineering ◽

Symbolic Analysis ◽

Simulation Program ◽

Electrical Engineering Education

Download Full-text

Social Body and Icon of the Person: A Symbolic Analysis of Shell Money Among the Wodani, Western Highlands of Irian Jaya

American Ethnologist ◽

10.1525/ae.1999.26.3.558 ◽

1999 ◽

Vol 26 (3) ◽

pp. 558-582 ◽

Author(s):

Stéphane Breton

Keyword(s):

Symbolic Analysis ◽

Social Body ◽

Download Full-text