Search Results - "Guttman, Joshua"

State and Progress in Strand Spaces: Proving Fair Exchange by Guttman, Joshua D.

“…Many cryptographic protocols are intended to coordinate state changes among principals. Exchange protocols, for instance, coordinate delivery of new values to…”
Get full text

How many is enough? Measuring the number of FAST exams needed by emergency medicine trainees to reach competence by Bakhribah, Ahmad, Leumas, Jordan, Helland, Gregg, Guttman, Joshua, Arfaj, Yara, Alharbi, Rawan, Bakhsh, Abdullah

“…Background For patients with blunt abdominal trauma, the Focused Assessment with Sonography in Trauma (FAST) exam is the initial imaging modality employed to…”
Get full text

Use of Point-of-Care Ultrasound for the Diagnosis of Ovarian Hyperstimulation Syndrome by Bellapu, Sowdhamani, MD, Guttman, Joshua, MD, FRCPC, FAAEM

“…Abstract Background Ovarian hyperstimulation syndrome (OHSS) occurs when ovaries are overstimulated and enlarged due to fertility treatments resulting in a…”
Get full text

Measuring protocol strength with security goals by Rowe, Paul D., Guttman, Joshua D., Liskov, Moses D.

“…Flaws in published standards for security protocols are found regularly, often after systems implementing those standards have been deployed. Because of…”
Get full text

Localizing Firewall Security Policies by Adao, Pedro, Focardi, Riccardo, Guttman, Joshua D., Luccio, Flaminia L.

“…In complex networks, filters may be applied at different nodes to control how packets flow. In this paper, we study how to locate filtering functionality…”
Get full text

Security Theorems via Model Theory by Guttman, Joshua

“…A model-theoretic approach can establish security theorems for cryptographic protocols. Formulas expressing authentication and non-disclosure properties of…”
Get full text

Authentication tests and the structure of bundles by Guttman, Joshua D., Thayer, F.Javier

“…Suppose a principal in a cryptographic protocol creates and transmits a message containing a new value v, later receiving v back in a different cryptographic…”
Get full text

Save that POCUS Scan by Guttman, Joshua

Get full text

Point-of-Care Ultrasound in the Diagnosis of Venous Thoracic Outlet Syndrome by Meyer, Hannah Marie, Guttman, Joshua

“…Clinicians trained in point-of-care ultrasound (POCUS) use the tool to enhance diagnostic capabilities at the bedside, often excluding or diagnosing conditions…”
Get full text

Choreographies with Secure Boxes and Compromised Principals by Carbone, Marco, Guttman, Joshua

“…We equip choreography-level session descriptions with a simple abstraction of a security infrastructure. Message components may be enclosed within (possibly…”
Get full text

Execution Models for Choreographies and Cryptoprotocols by Carbone, Marco, Guttman, Joshua

“…A choreography describes a transaction in which several principals interact. Since choreographies frequently describe business processes affecting substantial…”
Get full text

Fair Exchange in Strand Spaces by Guttman, Joshua D.

“…Many cryptographic protocols are intended to coordinate state changes among principals. Exchange protocols coordinate delivery of new values to the…”
Get full text

A Cut Principle for Information Flow by Guttman, Joshua D., Rowe, Paul D.

“…We view a distributed system as a graph of active locations with unidirectional channels between them, through which they pass messages. In this context, the…”
Get full text

Principles of remote attestation by Coker, George, Guttman, Joshua, Loscocco, Peter, Herzog, Amy, Millen, Jonathan, O’Hanlon, Brian, Ramsdell, John, Segall, Ariel, Sheehy, Justin, Sniffen, Brian

“…Remote attestation is the activity of making a claim about properties of a target by supplying evidence to an appraiser over a network. We identify five…”
Get full text

A Set Theory with Support for Partial Functions by Farmer, William M., Guttman, Joshua D.

“…Partial functions can be easily represented in set theory as certain sets of ordered pairs. However, classical set theory provides no special machinery for…”
Get full text

Diagnostic point-of-care ultrasound: assessment techniques for the pediatric trauma patient by Guttman, Joshua, Nelson, Bret P.

“…Emergency ultrasound is performed at the point of care to quickly answer focused clinical questions. Over the last 25 years, the use of this technique has…”
Get more information

Strand spaces: Why is a security protocol correct? by Fabrega, F Javier Thayer, Herzog, Jonathan C, Guttman, Joshua D

“…A strand is a sequence of events; it represents either the execution of legitimate party in a security protocol or else a sequence of actions by a penetrator…”
Get full text

Filtering postures: Local enforcement for global policies by Guttman, Joshua D

“…When packet filtering is used as a security mechanism, different routers may need to cooperate to enforce the desired security policy. It is difficult to…”
Get full text

Integrating Pre-test Probability and Point-of-Care Ultrasound (POCUS) in the Emergency Department (ED) Diagnosis of Small Bowel Obstruction (SBO) by Krol, Katarzyna, Chen, Yi-Ru, Morales Sierra, Melva O, Nasir, Rida, Mahabir, Naya, Iyeke, Lisa, Jordan, Lindsay, Shah, Trupti, Burke, Kevin, Friedman, Matthew, Dexeus, Daniel, Mihailos, Athena, Richman, Mark, Guttman, Joshua

“…Introduction A computed tomography (CT) scan and point-of-care ultrasound (POCUS) are commonly employed for diagnosing small bowel obstructions (SBOs). Prior…”
Get full text

Diagnostic Emergency Ultrasound: Assessment Techniques In The Pediatric Patient by Guttman, Joshua, Nelson, Bret P

“…Emergency ultrasound is performed at the point of care to answer focused clinical questions in a rapid manner. Over the last 20 years, the use of this…”
Get more information