Andre Scedrov

ORCID

Publication Activity (10 Years)

Years Active: 1983-2024
Publications (10 Years): 43

Top Venues

CoRR

J. Log. Lang. Inf.

J. Comput. Secur.

Publications

Tajana Ban Kirigin, Jesse Comer, Max I. Kanovich, Andre Scedrov, Carolyn L. Talcott
Time-Bounded Resilience. WRLA (2024)
Tajana Ban Kirigin, Jesse Comer, Max I. Kanovich, Andre Scedrov, Carolyn L. Talcott
Technical Report: Time-Bounded Resilience. CoRR (2024)
Eben Blaisdell, Max I. Kanovich, Stepan L. Kuznetsov, Elaine Pimentel, Andre Scedrov
Explorations in Subexponential non-associative non-commutative Linear Logic (extended version). CoRR (2023)
Eben Blaisdell, Max I. Kanovich, Stepan L. Kuznetsov, Elaine Pimentel, Andre Scedrov
Explorations in Subexponential Non-associative Non-commutative Linear Logic. CoRR (2023)
Eben Blaisdell, Max I. Kanovich, Stepan L. Kuznetsov, Elaine Pimentel, Andre Scedrov
Non-associative, Non-commutative Multi-modal Linear Logic. IJCAR (2022)
Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
On the Security and Complexity of Periodic Systems. SN Comput. Sci. 3 (5) (2022)
Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
On the Formalization and Computational Complexity of Resilience Problems for Cyber-Physical Systems. ICTAC (2022)
Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov
Language models for some extensions of the Lambek calculus. Inf. Comput. 287 (2022)
Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
On Security Analysis of Periodic Systems: Expressiveness and Complexity. ICISSP (2021)
Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov
The Multiplicative-Additive Lambek Calculus with Subexponential and Bracket Modalities. J. Log. Lang. Inf. 30 (1) (2021)
Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov
Correction to: The Multiplicative-Additive Lambek Calculus with Subexponential and Bracket Modalities. J. Log. Lang. Inf. 30 (1) (2021)
Abraão Aires Urquiza, Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
Resource and timing aspects of security protocols. J. Comput. Secur. 29 (3) (2021)
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
On the Complexity of Verification of Time-Sensitive Distributed Systems. Protocols, Strands, and Logic (2021)
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
On the Complexity of Verification of Time-Sensitive Distributed Systems: Technical Report. CoRR (2021)
Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov
The Multiplicative-Additive Lambek Calculus with Subexponential and Bracket Modalities. CoRR (2020)
Max I. Kanovich, Stepan L. Kuznetsov, Vivek Nigam, Andre Scedrov
Soft Subexponentials and Multiplexing. IJCAR (1) (2020)
Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov
Reconciling Lambek's restriction, cut-elimination and substitution in the presence of exponential modalities. J. Log. Comput. 30 (1) (2020)
Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov
Language Models for Some Extensions of the Lambek Calculus. CoRR (2020)
Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov
L-Models and R-Models for Lambek Calculus Enriched with Additives and the Multiplicative Unit. WoLLIC (2019)
Abraão Aires Urquiza, Musab A. AlTurki, Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
Resource-Bounded Intruders in Denial of Service Attacks. CSF (2019)
Gilles Barthe, Edvard Fagerholm, Dario Fiore, John C. Mitchell, Andre Scedrov, Benedikt Schmidt
Automated Analysis of Cryptographic Assumptions in Generic Group Models. J. Cryptol. 32 (2) (2019)
Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov
The Complexity of Multiplicative-Additive Lambek Calculus: 25 Years Later. WoLLIC (2019)
Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov
Undecidability of a Newly Proposed Calculus for CatLog3. FG (2019)
Max I. Kanovich, Stepan L. Kuznetsov, Vivek Nigam, Andre Scedrov
Subexponentials in non-commutative linear logic. Math. Struct. Comput. Sci. 29 (8) (2019)
Musab A. AlTurki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols. Foundations of Security, Protocols, and Equational Reasoning (2019)
Musab A. AlTurki, Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
Statistical Model Checking of Distance Fraud Attacks on the Hancke-Kuhn Family of Protocols. CPS-SPC@CCS (2018)
Max I. Kanovich, Stepan L. Kuznetsov, Vivek Nigam, Andre Scedrov
A Logical Framework with Commutative and Non-commutative Subexponentials. IJCAR (2018)
Glyn Morrill, Stepan L. Kuznetsov, Max I. Kanovich, Andre Scedrov
Bracket Induction for Lambek Calculus with Bracket Modalities. FG (2018)
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
Compliance in Real Time Multiset Rewriting Models. CoRR (2018)
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
Time, computational complexity, and probability in the analysis of distance-bounding protocols. J. Comput. Secur. 25 (6) (2017)
Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov
Undecidability of the Lambek Calculus with Subexponential and Bracket Modalities. FCT (2017)
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott, Ranko Perovic
A rewriting framework and logic for activities subject to regulations. Math. Struct. Comput. Sci. 27 (3) (2017)
Max I. Kanovich, Stepan L. Kuznetsov, Glyn Morrill, Andre Scedrov
A polynomial time algorithm for the Lambek calculus with brackets of bounded order. CoRR (2017)
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
Time, Computational Complexity, and Probability in the Analysis of Distance-Bounding Protocols. CoRR (2017)
Max I. Kanovich, Stepan L. Kuznetsov, Glyn Morrill, Andre Scedrov
A Polynomial-Time Algorithm for the Lambek Calculus with Brackets of Bounded Order. FSCD (2017)
Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov
Undecidability of the Lambek calculus with subexponentials and bracket modalities. CoRR (2016)
Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov
Reconciling Lambek's restriction, cut-elimination, and substitution in the presence of exponential modalities. CoRR (2016)
Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov
Undecidability of the Lambek Calculus with a Relevant Modality. FG (2016)
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems. FORMATS (2016)
Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov
On Lambek's Restriction in the Presence of Exponential Modalities. LFCS (2016)
Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov
Undecidability of the Lambek calculus with a relevant modality. CoRR (2016)
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems. CoRR (2016)
Gilles Barthe, Edvard Fagerholm, Dario Fiore, Andre Scedrov, Benedikt Schmidt, Mehdi Tibouchi
Strongly-optimal structure preserving signatures from Type II pairings: synthesis and lower bounds. IET Inf. Secur. 10 (6) (2016)
Gilles Barthe, Edvard Fagerholm, Dario Fiore, Andre Scedrov, Benedikt Schmidt, Mehdi Tibouchi
Strongly-Optimal Structure Preserving Signatures from Type II Pairings: Synthesis and Lower Bounds. Public Key Cryptography (2015)
Gilles Barthe, Edvard Fagerholm, Dario Fiore, Andre Scedrov, Benedikt Schmidt, Mehdi Tibouchi
Strongly-Optimal Structure Preserving Signatures from Type II Pairings: Synthesis and Lower Bounds. IACR Cryptol. ePrint Arch. 2015 (2015)
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
Discrete vs. Dense Times in the Analysis of Cyber-Physical Security Protocols. POST (2015)
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov
Bounded memory Dolev-Yao adversaries in collaborative systems. Inf. Comput. 238 (2014)
Gilles Barthe, Edvard Fagerholm, Dario Fiore, John C. Mitchell, Andre Scedrov, Benedikt Schmidt
Automated Analysis of Cryptographic Assumptions in Generic Group Models. CRYPTO (1) (2014)
Gilles Barthe, Edvard Fagerholm, Dario Fiore, John C. Mitchell, Andre Scedrov, Benedikt Schmidt
Automated Analysis of Cryptographic Assumptions in Generic Group Models. IACR Cryptol. ePrint Arch. 2014 (2014)
Anduo Wang, Alexander J. T. Gurney, Xianglong Han, Jinyan Cao, Boon Thau Loo, Carolyn L. Talcott, Andre Scedrov
A reduction-based approach towards scaling up formal analysis of internet configurations. INFOCOM (2014)
Mário S. Alvim, Andre Scedrov, Fred B. Schneider
When Not All Bits Are Equal: Worth-Based Information Flow. POST (2014)
Lev D. Beklemishev, Ruy J. G. B. de Queiroz, Andre Scedrov
Editors' foreword. J. Comput. Syst. Sci. 80 (6) (2014)
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov
Bounded memory protocols. Comput. Lang. Syst. Struct. 40 (3-4) (2014)
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov
Bounded Memory Protocols and Progressing Collaborative Systems. ESORICS (2013)
Anduo Wang, Salar Moarref, Boon Thau Loo, Ufuk Topcu, Andre Scedrov
Automated synthesis of reactive controllers for software-defined networks. ICNP (2013)
Peifung E. Lam, John C. Mitchell, Andre Scedrov, Sharada Sundaram, Frank Wang
Declarative privacy policy: finite models and attribute-based encryption. IHI (2012)
Anduo Wang, Alexander J. T. Gurney, Xianglong Han, Jinyan Cao, Carolyn L. Talcott, Boon Thau Loo, Andre Scedrov
Reduction-based analysis of BGP systems with BGPVerif. SIGCOMM (2012)
Anduo Wang, Carolyn L. Talcott, Alexander J. T. Gurney, Boon Thau Loo, Andre Scedrov
Brief announcement: a calculus of policy-based routing systems. PODC (2012)
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott, Ranko Perovic
A Rewriting Framework for Activities Subject to Regulations. RTA (2012)
Anduo Wang, Limin Jia, Wenchao Zhou, Yiqing Ren, Boon Thau Loo, Jennifer Rexford, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
FSR: formal analysis and implementation toolkit for safe interdomain routing. IEEE/ACM Trans. Netw. 20 (6) (2012)
Vivek Nigam, Limin Jia, Boon Thau Loo, Andre Scedrov
Maintaining distributed logic programs incrementally. Comput. Lang. Syst. Struct. 38 (2) (2012)
Anduo Wang, Carolyn L. Talcott, Alexander J. T. Gurney, Boon Thau Loo, Andre Scedrov
Reduction-Based Formal Analysis of BGP Instances. TACAS (2012)
Vivek Nigam, Tajana Ban Kirigin, Andre Scedrov, Carolyn L. Talcott, Max I. Kanovich, Ranko Perovic
Towards an automated assistant for clinical investigations. IHI (2012)
Anduo Wang, Carolyn L. Talcott, Limin Jia, Boon Thau Loo, Andre Scedrov
Analyzing BGP Instances in Maude. FMOODS/FORTE (2011)
Max I. Kanovich, Paul D. Rowe, Andre Scedrov
Collaborative Planning with Confidentiality. J. Autom. Reason. 46 (3-4) (2011)
Michael Backes, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay
Cryptographically sound security proofs for basic and public-key Kerberos. Int. J. Inf. Sec. 10 (2) (2011)
Vivek Nigam, Limin Jia, Boon Thau Loo, Andre Scedrov
Maintaining distributed logic programs incrementally. PPDP (2011)
Vivek Nigam, Limin Jia, Anduo Wang, Boon Thau Loo, Andre Scedrov
An Operational Semantics for Network Datalog. LAM@LICS (2010)
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov
Bounded Memory Dolev-Yao Adversaries in Collaborative Systems. Formal Aspects in Security and Trust (2010)
Max I. Kanovich, Paul D. Rowe, Andre Scedrov
Policy Compliance in Collaborative Systems. CSF (2009)
Iliano Cervesato, Andre Scedrov
Relating state-based and process-based concurrency through linear logic (full-version). Inf. Comput. 207 (10) (2009)
Pedro Adão, Gergei Bana, Jonathan Herzog, Andre Scedrov
Soundness and completeness of formal encryption: The cases of key cycles and partial information leakage. J. Comput. Secur. 17 (5) (2009)
John C. Mitchell, Arnab Roy, Paul D. Rowe, Andre Scedrov
Analysis of EAP-GPSK Authentication Protocol. ACNS (2008)
Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay, Christopher Walstad
Breaking and fixing public-key Kerberos. Inf. Comput. 206 (2-4) (2008)
Michael Backes, Birgit Pfitzmann, Andre Scedrov
Key-dependent message security under active attacks - BRSIM/UC-soundness of Dolev-Yao-style encryption with key cycles. J. Comput. Secur. 16 (5) (2008)
Bruno Blanchet, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay
Computationally sound mechanized proofs for basic and public-key Kerberos. AsiaCCS (2008)
Michael Backes, Andre Scedrov
Preface. Electron. Notes Theor. Comput. Sci. 180 (1) (2007)
Michael Backes, Birgit Pfitzmann, Andre Scedrov
Key-dependent Message Security under Active Attacks - BRSIM/UC-Soundness of Symbolic Encryption with Key Cycles. CSF (2007)
Max I. Kanovich, Paul D. Rowe, Andre Scedrov
Collaborative Planning With Privacy. CSF (2007)
Andre Scedrov
The work of Dean Rosenzweig: a tribute to a scientist and an innovator. ESEC/SIGSOFT FSE (2007)
Iliano Cervesato, Andre Scedrov
Relating State-Based and Process-Based Concurrency through Linear Logic. Electron. Notes Theor. Comput. Sci. 165 (2006)
Frederick Butler, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Christopher Walstad
Formal analysis of Kerberos 5. Theor. Comput. Sci. 367 (1-2) (2006)
Rohit Chadha, Steve Kremer, Andre Scedrov
Formal Analysis of Multiparty Contract Signing. J. Autom. Reason. 36 (1-2) (2006)
John C. Mitchell, Ajith Ramanathan, Andre Scedrov, Vanessa Teague
A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols. Theor. Comput. Sci. 353 (1-3) (2006)
Michael Backes, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay
Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos. ESORICS (2006)
Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay, Christopher Walstad
Breaking and Fixing Public-Key Kerberos. IACR Cryptol. ePrint Arch. 2006 (2006)
Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay, Christopher Walstad
Breaking and Fixing Public-Key Kerberos. ASIAN (2006)
Michael Backes, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay
Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos. IACR Cryptol. ePrint Arch. 2006 (2006)
Anupam Datta, Ante Derek, John C. Mitchell, Ajith Ramanathan, Andre Scedrov
Games and the Impossibility of Realizable Ideal Functionality. TCC (2006)
Michael Backes, Birgit Pfitzmann, Andre Scedrov
Key-dependent Message Security under Active Attacks - BRSIM/UC-Soundness of Symbolic Encryption with Key Cycles. IACR Cryptol. ePrint Arch. 2005 (2005)
Anupam Datta, Ante Derek, John C. Mitchell, Ajith Ramanathan, Andre Scedrov
Games and the Impossibility of Realizable Ideal Functionality. IACR Cryptol. ePrint Arch. 2005 (2005)
Rohit Chadha, John C. Mitchell, Andre Scedrov, Vitaly Shmatikov
Contract signing, optimism, and advantage. J. Log. Algebraic Methods Program. 64 (2) (2005)
Pedro Adão, Gergei Bana, Jonathan Herzog, Andre Scedrov
Soundness of Formal Encryption in the Presence of Key-Cycles. ESORICS (2005)
Pedro Adão, Gergei Bana, Andre Scedrov
Computational and Information-Theoretic Soundness and Completeness of Formal Encryption. CSFW (2005)
Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Christopher Walstad
Specifying Kerberos 5 cross-realm authentication. WITS (2005)
Ajith Ramanathan, John C. Mitchell, Andre Scedrov, Vanessa Teague
Probabilistic Bisimulation and Equivalence for Security Analysis of Network Protocols. FoSSaCS (2004)
Rohit Chadha, Steve Kremer, Andre Scedrov
Formal Analysis of Multi-Party Contract Signing. CSFW (2004)
Frederick Butler, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov
Verifying Confidentiality and Authentication in Kerberos 5. ISSS (2003)
Max I. Kanovich, Mitsuhiro Okada, Andre Scedrov
Phase semantics for light linear logic. Theor. Comput. Sci. 294 (3) (2003)
Jean-Yves Girard, Mitsuhiro Okada, Andre Scedrov
Preface. Theor. Comput. Sci. 294 (3) (2003)

Andre Scedrov.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Andre Scedrov