Time, computational complexity, and probability in the analysis of distance-bounding protocols von Kanovich, Max, Ban Kirigin, Tajana, Nigam, Vivek, Scedrov, Andre, Talcott, Carolyn

Volltext

Resource and timing aspects of security protocols von Aires Urquiza, Abraão, Alturki, Musab A., Ban Kirigin, Tajana, Kanovich, Max, Nigam, Vivek, Scedrov, Andre, Talcott, Carolyn

Volltext

Corpus-Based Syntactic-Semantic Graph Analysis: Semantic Domains of the Concept Feeling von Perak, Benedikt, Ban Kirigin, Tajana

Volltext

Graph-Based Taxonomic Semantic Class Labeling von Ban Kirigin, Tajana, Bujačić Babić, Sanda, Perak, Benedikt

Volltext

Semi-Local Integration Measure of Node Importance von Ban Kirigin, Tajana, Bujačić Babić, Sanda, Perak, Benedikt

Volltext

Lexical Sense Labeling and Sentiment Potential Analysis Using Corpus-Based Dependency Graph von Ban Kirigin, Tajana, Bujačić Babić, Sanda, Perak, Benedikt

Volltext

Construction Grammar Conceptual Network: Coordination-based graph method for semantic association analysis von Perak, Benedikt, Ban Kirigin, Tajana

Volltext

Logic, Language, and Security: Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday von Nigam, Vivek, Ban Kirigin, Tajana, Talcott, Carolyn, Guttman, Joshua, Kuznetsov, Stepan, Thau Loo, Boon, Okada, Mitsuhiro

Volltext

A rewriting framework and logic for activities subject to regulations von KANOVICH, MAX, BAN KIRIGIN, TAJANA, NIGAM, VIVEK, SCEDROV, ANDRE, TALCOTT, CAROLYN, PEROVIC, RANKO

Volltext

Semi-Local Integration Measure for Directed Graphs von Ban Kirigin, Tajana, Bujačić Babić, Sanda

Volltext

Bounded memory Dolev–Yao adversaries in collaborative systems von Kanovich, Max, Ban Kirigin, Tajana, Nigam, Vivek, Scedrov, Andre

Volltext

Time-Bounded Resilience von Ban Kirigin, Tajana, Comer, Jesse, Kanovich, Max, Scedrov, Andre, Talcott, Carolyn

Volltext

A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols von Alturki, Musab A., Ban Kirigin, Tajana, Kanovich, Max, Nigam, Vivek, Scedrov, Andre, Talcott, Carolyn

Volltext

Discrete vs. Dense Times in the Analysis of Cyber-Physical Security Protocols von Kanovich, Max, Kirigin, Tajana Ban, Nigam, Vivek, Scedrov, Andre, Talcott, Carolyn

Volltext

Gender Bias in Neural Natural Language Processing von Lu, Kaiji, Mardziel, Piotr, Wu, Fangjing, Amancharla, Preetam, Datta, Anupam

Volltext

There's No Time, The Problem of Conceptualising Time von Ban Kirigin, Tajana, Perak, Benedikt

Volltext

Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems von Kanovich, Max, Ban Kirigin, Tajana, Nigam, Vivek, Scedrov, Andre, Talcott, Carolyn

Volltext

Formal Verification of Ethereum Smart Contracts Using Isabelle/HOL von Ribeiro, Maria, Adão, Pedro, Mateus, Paulo

Volltext

On the Complexity of Verification of Time-Sensitive Distributed Systems von Kanovich, Max, Kirigin, Tajana Ban, Nigam, Vivek, Scedrov, Andre, Talcott, Carolyn

Volltext

The Hitchhiker's Guide to Decidability and Complexity of Equivalence Properties in Security Protocols von Cheval, Vincent, Kremer, Steve, Rakotonirina, Itsaka

Volltext