Skip to main content Skip to footer content

Results for

10 items

Sort By:

Expressing Information Flow Properties

Expressing Information Flow Properties

Elisavet Kozyri Paperback

$104.00

A Pragmatic Introduction to Secure Multi-Party Computation

A Pragmatic Introduction to Secure Multi-Party Computation

David Evans Paperback

$128.95

Cloud Computing Security: Foundations and Research Directions

Cloud Computing Security: Foundations and Research Directions

Anrin Chakraborti Paperback

$110.50

Accountability in Computing

Accountability in Computing

Joan Feigenbaum Paperback

$128.95

Identifying and Mitigating the Security Risks of Generative AI

Identifying and Mitigating the Security Risks of Generative AI

Clark Barrett Paperback

$71.50

Proofs, Arguments, and Zero-Knowledge

Proofs, Arguments, and Zero-Knowledge

Justin Thaler Paperback

$128.95

Contextual Integrity through the Lens of Computer Science

Contextual Integrity through the Lens of Computer Science

Sebastian Benthall Paperback

$84.50

Cybersecurity for Modern Smart Grid Against Emerging Threats

Cybersecurity for Modern Smart Grid Against Emerging Threats

Daisuke Mashima Paperback

$97.50

Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif

Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif

Bruno Blanchet Paperback

$123.50

Principles and Implementation Techniques of Software-Based Fault Isolation

Principles and Implementation Techniques of Software-Based Fault Isolation

Gang Tan Paperback

$78.00