Search

Your search keyword '"Kuhn, D."' showing total 117 results
Start Over Author "Kuhn, D." Publisher ieee
117 results on '"Kuhn, D."'

12. The Path to a Consensus on Artificial Intelligence Assurance.

Author

Freeman, Laura, Batarseh, Feras A., Kuhn, D. Richard, Raunak, M S, Kacker, Raghu N, and Lin, Hsiao-Ying

Subjects
ENGINEERS
Abstract

Wide-scale adoption of intelligent algorithms requires artificial intelligence (AI) engineers to provide assurances that an algorithm will perform as intended. In this article, we discuss the formalization of important aspects of AI assurance, including its key components. [ABSTRACT FROM AUTHOR]

Published
2022
Full Text
View/download PDF

20. Understanding and Fixing Complex Faults in Embedded Cyberphysical Systems.

Author

Weiss, Alexander, Gautham, Smitha, Jayakumar, Athira Varma, Elks, Carl R., Kuhn, D. Richard, Kacker, Raghu N., and Preusser, Thomas B.

Subjects
DEBUGGING, CYBER physical systems, COMPREHENSION
Abstract

Embedded systems are becoming ubiquitous companions in all our lives. This article reviews the terminology and modern understanding of complex anomalies and state-of-the-art debugging. It details sophisticated omniscient debugging and runtime verification and describes a novel technique to combine the benefits of those processes. [ABSTRACT FROM AUTHOR]

Published
2021
Full Text
View/download PDF

34. Access Control for Emerging Distributed Systems.

Author

Hu, Vincent C., Kuhn, D. Richard, and Ferraiolo, David F.

Subjects
*INTERNET of things, *DISTRIBUTED computing, *CLOUD computing, *CLOUD storage, *WEB services, *INTERNET security
Abstract

As big data, cloud computing, grid computing, and the Internet of Things reshape current data systems and practices, IT experts are keen to harness the power of distributed systems to boost security and prevent fraud. How can these systems’ capabilities be used to improve processing without inflating risk? [ABSTRACT FROM AUTHOR]

Published
2018
Full Text
View/download PDF

35. Finding Bugs in Cryptographic Hash Function Implementations.

Author

Mouha, Nicky, Raunak, Mohammad S., Kuhn, D. Richard, and Kacker, Raghu

Subjects
HASHING, ALGEBRAIC attacks (Cryptography), WEB bugs (Website tracking devices), REGULAR functions (Mathematics), COMBINATORICS, ALGORITHMS
Abstract

Cryptographic hash functions are security-critical algorithms with many practical applications, notably in digital signatures. Developing an approach to test them can be particularly difficult, and bugs can remain unnoticed for many years. We revisit the National Institute of Standards and Technology hash function competition, which was used to develop the SHA-3 standard, and apply a new testing strategy to all available reference implementations. Motivated by the cryptographic properties that a hash function should satisfy, we develop four tests. The Bit-Contribution Test checks if changes in the message affect the hash value, and the Bit-Exclusion Test checks that changes beyond the last message bit leave the hash value unchanged. We develop the Update Test to verify that messages are processed correctly in chunks, and then use combinatorial testing methods to reduce the test set size by several orders of magnitude while retaining the same fault-detection capability. Our tests detect bugs in 41 of the 86 reference implementations submitted to the SHA-3 competition, including the rediscovery of a bug in all submitted implementations of the SHA-3 finalist BLAKE. This bug remained undiscovered for seven years, and is particularly serious because it provides a simple strategy to modify the message without changing the hash value returned by the implementation. We detect these bugs using a fully automated testing approach. [ABSTRACT FROM AUTHOR]

Published
2018
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results