Certificates for verifiable forensics

Radha Jagadeesan; C. M. Lubinski; Corin Pitcher; James Riely; Charles Winebrinner

doi:10.1109/CSF.2014.11

Certificates for verifiable forensics

Radha Jagadeesan
, C. M. Lubinski
, Corin Pitcher
, James Riely
, Charles Winebrinner

DePaul University

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Proceedings - 2014 IEEE 27th Computer Security Foundations Symposium, CSF 2014
Publisher	IEEE (Institute of Electrical and Electronics Engineers)
Pages	33-47
Number of pages	15
ISBN (Electronic)	9781479942909
DOIs	https://doi.org/10.1109/CSF.2014.11
State	Published - Nov 13 2014
Event	27th IEEE Computer Security Foundations Symposium, CSF 2014 - Vienna, Austria Duration: Jul 19 2014 → Jul 22 2014

Publication series

Name	Proceedings of the Computer Security Foundations Workshop
Volume	2014-January
ISSN (Print)	1063-6900

Conference

Conference	27th IEEE Computer Security Foundations Symposium, CSF 2014
Country/Territory	Austria
City	Vienna
Period	7/19/14 → 7/22/14

ASJC Scopus Subject Areas

Software

Keywords

Coq
Forensic certificates
Theorem proving
Trustworthy digital forensics
Verifiable forensics
Verification

Access to Document

10.1109/CSF.2014.11

Cite this

Jagadeesan, R., Lubinski, C. M., Pitcher, C., Riely, J., & Winebrinner, C. (2014). Certificates for verifiable forensics. In Proceedings - 2014 IEEE 27th Computer Security Foundations Symposium, CSF 2014 (pp. 33-47). Article 6957101 (Proceedings of the Computer Security Foundations Workshop; Vol. 2014-January). IEEE (Institute of Electrical and Electronics Engineers). https://doi.org/10.1109/CSF.2014.11

Certificates for verifiable forensics. / Jagadeesan, Radha; Lubinski, C. M.; Pitcher, Corin et al.
Proceedings - 2014 IEEE 27th Computer Security Foundations Symposium, CSF 2014. IEEE (Institute of Electrical and Electronics Engineers), 2014. p. 33-47 6957101 (Proceedings of the Computer Security Foundations Workshop; Vol. 2014-January).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Jagadeesan, R, Lubinski, CM, Pitcher, C , Riely, J & Winebrinner, C 2014, Certificates for verifiable forensics. in Proceedings - 2014 IEEE 27th Computer Security Foundations Symposium, CSF 2014., 6957101, Proceedings of the Computer Security Foundations Workshop, vol. 2014-January, IEEE (Institute of Electrical and Electronics Engineers), pp. 33-47, 27th IEEE Computer Security Foundations Symposium, CSF 2014, Vienna, Austria, 7/19/14. https://doi.org/10.1109/CSF.2014.11

@inproceedings{b267daa60f664327a1237acc80a79eb5,

title = "Certificates for verifiable forensics",

keywords = "Coq, Forensic certificates, Theorem proving, Trustworthy digital forensics, Verifiable forensics, Verification",

author = "Radha Jagadeesan and Lubinski, \{C. M.\} and Corin Pitcher and James Riely and Charles Winebrinner",

note = "Publisher Copyright: {\textcopyright} 2014 IEEE.; 27th IEEE Computer Security Foundations Symposium, CSF 2014 ; Conference date: 19-07-2014 Through 22-07-2014",

year = "2014",

month = nov,

day = "13",

doi = "10.1109/CSF.2014.11",

language = "English",

series = "Proceedings of the Computer Security Foundations Workshop",

publisher = "IEEE (Institute of Electrical and Electronics Engineers)",

pages = "33--47",

booktitle = "Proceedings - 2014 IEEE 27th Computer Security Foundations Symposium, CSF 2014",

}

TY - GEN

T1 - Certificates for verifiable forensics

AU - Jagadeesan, Radha

AU - Lubinski, C. M.

AU - Pitcher, Corin

AU - Riely, James

AU - Winebrinner, Charles

PY - 2014/11/13

Y1 - 2014/11/13

KW - Coq

KW - Forensic certificates

KW - Theorem proving

KW - Trustworthy digital forensics

KW - Verifiable forensics

KW - Verification

UR - https://www.scopus.com/pages/publications/84939622860

UR - https://www.scopus.com/pages/publications/84939622860#tab=citedBy

U2 - 10.1109/CSF.2014.11

DO - 10.1109/CSF.2014.11

M3 - Conference contribution

AN - SCOPUS:84939622860

T3 - Proceedings of the Computer Security Foundations Workshop

SP - 33

EP - 47

BT - Proceedings - 2014 IEEE 27th Computer Security Foundations Symposium, CSF 2014

PB - IEEE (Institute of Electrical and Electronics Engineers)

T2 - 27th IEEE Computer Security Foundations Symposium, CSF 2014

Y2 - 19 July 2014 through 22 July 2014

ER -

Certificates for verifiable forensics

Publication series

Conference

ASJC Scopus Subject Areas

Keywords

Access to Document

Other files and links

Cite this