Coping with outside-the-box attacks

Edward W. Felten

doi:10.1007/978-3-540-70545-1_2

Coping with outside-the-box attacks

Edward W. Felten

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

Original language	English (US)
Title of host publication	Computer Aided Verification - 20th International Conference, CAV 2008, Proceedings
Pages	3-4
Number of pages	2
DOIs	https://doi.org/10.1007/978-3-540-70545-1_2
State	Published - 2008
Event	20th International Conference on Computer Aided Verification, CAV 2008 - Princeton, NJ, United States Duration: Jul 7 2008 → Jul 14 2008

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	5123 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Other

Other	20th International Conference on Computer Aided Verification, CAV 2008
Country/Territory	United States
City	Princeton, NJ
Period	7/7/08 → 7/14/08

All Science Journal Classification (ASJC) codes

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-540-70545-1_2

Cite this

@inproceedings{e6f6d8ea7c104535bf3466beba7476c5,

title = "Coping with outside-the-box attacks",

author = "Felten, {Edward W.}",

year = "2008",

doi = "10.1007/978-3-540-70545-1_2",

language = "English (US)",

isbn = "3540705430",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "3--4",

booktitle = "Computer Aided Verification - 20th International Conference, CAV 2008, Proceedings",

note = "20th International Conference on Computer Aided Verification, CAV 2008 ; Conference date: 07-07-2008 Through 14-07-2008",

}

Felten, EW 2008, Coping with outside-the-box attacks. in Computer Aided Verification - 20th International Conference, CAV 2008, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 5123 LNCS, pp. 3-4, 20th International Conference on Computer Aided Verification, CAV 2008, Princeton, NJ, United States, 7/7/08. https://doi.org/10.1007/978-3-540-70545-1_2

Coping with outside-the-box attacks. / Felten, Edward W.
Computer Aided Verification - 20th International Conference, CAV 2008, Proceedings. 2008. p. 3-4 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5123 LNCS).

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

TY - GEN

T1 - Coping with outside-the-box attacks

AU - Felten, Edward W.

PY - 2008

Y1 - 2008

UR - http://www.scopus.com/inward/record.url?scp=48949097261&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=48949097261&partnerID=8YFLogxK

U2 - 10.1007/978-3-540-70545-1_2

DO - 10.1007/978-3-540-70545-1_2

M3 - Conference contribution

AN - SCOPUS:48949097261

SN - 3540705430

SN - 9783540705437

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 3

EP - 4

BT - Computer Aided Verification - 20th International Conference, CAV 2008, Proceedings

T2 - 20th International Conference on Computer Aided Verification, CAV 2008

Y2 - 7 July 2008 through 14 July 2008

ER -

Coping with outside-the-box attacks

Publication series

Other

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Cite this