What a lovely hat
Is it made out of
tin foil
?
DBLP data
CryptoDB
Cryptobib
Philip Koopman
Google Scholar
22
publications in security and cryptology related venues
Year
Venue
Title
2024
conf/dsn
Active Learning Omnivariate Decision Trees for Fault Diagnosis in Robotic Systems.
Casidhe Hutchison
Milda Zizyte
David Guttendorf
Claire Le Goues
Philip Koopman
2021
conf/dsn
The Importance of Safety Invariants in Robustness Testing Autonomy Systems.
Milda Zizyte
Casidhe Hutchison
Raewyn Duvall
Claire Le Goues
Philip Koopman
2020
conf/dsn
Robustness Inside Out Testing.
Deborah S. Katz
Milda Zizyte
Casidhe Hutchison
David Guttendorf
Patrick E. Lanigan
Eric M. Sample
Philip Koopman
Michael Wagner
Claire Le Goues
2014
conf/dsn
Monitor Based Oracles for Cyber-Physical System Testing: Practical Experience Report.
Aaron Kane
Thomas E. Fuhrman
Philip Koopman
2009
conf/dsn
Flexible multicast authentication for time-triggered embedded control network applications.
Christopher Szilagyi
Philip Koopman
2009
conf/dsn
Data management mechanisms for embedded system gateways.
Justin Ray
Philip Koopman
2009
conf/dsn
System safety as an emergent property in composite systems.
Jennifer Black
Philip Koopman
2008
conf/dsn
Message from the conference general chair and coordinator.
Philip Koopman
Henrique Madeira
2006
conf/dsn
Efficient High Hamming Distance CRCs for Embedded Networks.
Justin Ray
Philip Koopman
2005
conf/dsn
Coverage and the Use of Cyclic Redundancy Codes in Ultra-Dependable Systems.
Michael Paulitsch
Jennifer Morris
Brendan Hall
Kevin Driscoll
Elizabeth Latronico
Philip Koopman
2005
conf/dsn
Design Time Reliability Analysis of Distributed Fault Tolerance Algorithms.
Elizabeth Latronico
Philip Koopman
2004
conf/dsn
Quantifying the Reliability of Proven SPIDER Group Membership Service Guarantees.
Elizabeth Latronico
Paul S. Miner
Philip Koopman
2004
conf/dsn
Fault Tolerance Tradeoffs in Moving from Decentralized to Centralized Embedded Systems.
Jennifer Morris
Daniel Kroening
Philip Koopman
2004
conf/dsn
Improving System Dependability with Functional Alternatives.
Charles P. Shelton
Philip Koopman
2004
conf/dsn
Cyclic Redundancy Code (CRC) Polynomial Selection For Embedded Networks.
Philip Koopman
Tridib Chakravarty
2002
conf/dsn
32-Bit Cyclic Redundancy Codes for Internet Applications.
Philip Koopman
2002
conf/dsn
Robust Software - No More Excuses.
John DeVale
Philip Koopman
2002
conf/dsn
Joint Panel - IPDS and Workshop on Dependability Benchmarking.
Ravishankar K. Iyer
Zbigniew Kalbarczyk
Philip Koopman
Henrique Madeira
Gunter Heiner
Karama Kanoun
Haim Levendel
Brendan Murphy
Lawrence G. Votta
Don Wilson
2002
conf/dsn
Workshop on Dependability Benchmarking.
Philip Koopman
Henrique Madeira
2001
conf/dsn
Robustness Testing and Hardening of CORBA ORB Implementations.
Jiantao Pan
Philip Koopman
Daniel P. Siewiorek
Yennun Huang
Robert Gruber
Mimi Ling Jiang
2001
conf/dsn
Performance Evaluation of Exception Handling in I/O Libraries.
John DeVale
Philip Koopman
2000
conf/dsn
Robustness Testing of the Microsoft Win32 API.
Charles P. Shelton
Philip Koopman
Kobey Devale
Coauthors
Aaron Kane
(1)
Brendan Hall
(1)
Brendan Murphy
(1)
Casidhe Hutchison
(3)
Charles P. Shelton
(2)
Christopher Szilagyi
(1)
Claire Le Goues
(3)
Daniel Kroening
(1)
Daniel P. Siewiorek
(1)
David Guttendorf
(2)
Deborah S. Katz
(1)
Don Wilson
(1)
Elizabeth Latronico
(3)
Eric M. Sample
(1)
Gunter Heiner
(1)
Haim Levendel
(1)
Henrique Madeira
(3)
Jennifer Black
(1)
Jennifer Morris
(2)
Jiantao Pan
(1)
John DeVale
(2)
Justin Ray
(2)
Karama Kanoun
(1)
Kevin Driscoll
(1)
Kobey Devale
(1)
Lawrence G. Votta
(1)
Michael Paulitsch
(1)
Michael Wagner
(1)
Milda Zizyte
(3)
Mimi Ling Jiang
(1)
Patrick E. Lanigan
(1)
Paul S. Miner
(1)
Philip Koopman
(22)
Raewyn Duvall
(1)
Ravishankar K. Iyer
(1)
Robert Gruber
(1)
Thomas E. Fuhrman
(1)
Tridib Chakravarty
(1)
Yennun Huang
(1)
Zbigniew Kalbarczyk
(1)
Filters
Crypto
Eurocrypt
Asiacrypt
Public Key Cryptography
Theory of Cryptography
Journal of Cryptology
Transactions on Symmetric Cryptology
Transactions on Cryptographic Hardware and Embedded Computing
Communications in Cryptology
Fast Software Encryption
Cryptographic Hardware and Embedded Computing Conference
Usenix Security
IEEE Security and Privacy
ACM CCS
Network and Distributed System Security
Financial cryptography
Cryptographer's Track at RSA Conference (CT-RSA)
ESORICS
IEEE Transactions on Information Forensics and Security
Computers & Security
Journal of Information Security and Applications
IEEE Conference on Blockchains and Cryptocurrency (ICBC)
Asia CCS
European Security & privacy
Symposium on Useful Privacy and Security
Privacy Enhancing Technologies
Security and Privacy in Communication Networks
Cryptology and Network Security
Annual Computer Security Applications Conference
Dependable Systems and Networks
IEEE Computer Security Foundations Workshop
IEEE Conference and Communications and Network Security
International Conference on Applied Cryptography and Network Security
Selected Areas in Cryptology
International Conference on Information Security and Cryptology (ICISC)
International Conference on Information and Communication (ICICS)
IFIP International Information Security Conference (SEC)
Conference on Security and Privacy in Wireless and Mobile Networks (WISEC)
IEEE International Symposium on Hardware Oriented Security and Trust
New Security Paradigms Workshop
Information Hiding and Multimedia Security Workshop
Australasian Conference on Information Security and Privacy
AfricaCrypt
LatinCrypt
International Conference on Cyber Security and Resilience
Asia Joint Conference on information Security
International Conference on information Security Applications
ACM Asia Public-Key Cryptography Workshop
International Workshop on Lightweight Cryptography for Security and Privacy
Workshop on Fault Detection and Tolerance in Cryptography
International Conference on Blockchain Technology and Emerging Technologies
Provable Security
Cloud Computing Security Workshop (CCSW)
International Workshop on Security (IWSEC)
International Conference on Information System Security (ICISS)
Select all
Unselect all
Years:
to