Alwen Tiu

ORCID

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 52

Top Venues

CoRR

CONCUR

CSF

Publications

Tingfeng Yu, James Henderson, Alwen Tiu, Thomas Haines
Security and Privacy Analysis of Samsung's Crowd-Sourced Bluetooth Location Tracking System. USENIX Security Symposium (2024)
Tim S. Lyon, Ian Shillito, Alwen Tiu
Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents. CoRR (2024)
Tiange Liu, Alwen Tiu, Jim de Groot
Modal Logics for Mobile Processes Revisited. CONCUR (2023)
Mark Alexander Burgess, Charles Gretton, Josh Milthorpe, Luke Croak, Thomas Willingham, Alwen Tiu
Dagster: Parallel Structured Search. AAAI (2023)
Tingfeng Yu, James Henderson, Alwen Tiu, Thomas Haines
Privacy Analysis of Samsung's Crowd-Sourced Bluetooth Location Tracking System. CoRR (2022)
Mark Alexander Burgess, Charles Gretton, Josh Milthorpe, Luke Croak, Thomas Willingham, Alwen Tiu
Dagster: Parallel Structured Search with Case Studies. PRICAI (1) (2022)
Alex James, Alwen Tiu, Nisansala Yatapanage
PFMC: a parallel symbolic model checker for security protocol verification. CoRR (2022)
Wilayat Khan, Zhe Hou, David Sanán, Jamel Nebhen, Yang Liu, Alwen Tiu
An Executable Formal Model of the VHDL in Isabelle/HOL. CoRR (2022)
Alex James, Alwen Tiu, Nisansala Yatapanage
PFMC: A Parallel Symbolic Model Checker for Security Protocol Verification. ICFEM (2022)
Reynaldo Gil Pons, Ross Horne, Sjouke Mauw, Alwen Tiu, Rolando Trujillo-Rasua
Is Eve nearby? Analysing protocols under the distant-attacker assumption. CSF (2022)
Alwen Tiu
A Methodology for Designing Proof Search Calculi for Non-Classical Logics (Invited Talk). FSCD (2022)
Zhiwu Xu, Hongxu Chen, Alwen Tiu, Yang Liu, Kunal Sareen
A permission-dependent type system for secure information flow analysis. J. Comput. Secur. 29 (2) (2021)
Silivanxay Phetsouvanh, Anwitaman Datta, Alwen Tiu
On unlinkability and denial of service attacks resilience of whistleblower platforms. Future Gener. Comput. Syst. 118 (2021)
Xiaoning Du, Alwen Tiu, Kun Cheng, Yang Liu
Trace-Length Independent Runtime Monitoring of Quantitative Policies. IEEE Trans. Dependable Secur. Comput. 18 (3) (2021)
Ki Yung Ahn, Ross Horne, Alwen Tiu
A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic. Log. Methods Comput. Sci. 17 (3) (2021)
Zhé Hóu, David Sanán, Alwen Tiu, Yang Liu, Koh Chuen Hoa, Jin Song Dong
An Isabelle/HOL Formalisation of the SPARC Instruction Set Architecture and the TSO Memory Model. J. Autom. Reason. 65 (4) (2021)
Agata Ciabattoni, Tim S. Lyon, Revantha Ramanayake, Alwen Tiu
Display to Labeled Proofs and Back Again for Tense Logics. ACM Trans. Comput. Log. 22 (3) (2021)
Tim Lyon, Alwen Tiu, Rajeev Goré, Ranald Clouston
Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents. CSL (2020)
Zhe Hou, David Sanán, Alwen Tiu, Yang Liu, Jin Song Dong
A formalisation of the SPARC TSO memory model for multi-core machine code. CoRR (2019)
Tom Hamer, Kerry Taylor, Kee Siong Ng, Alwen Tiu
Private Digital Identity on Blockchain. BlockSW/CKG@ISWC (2019)
Ross Horne, Alwen Tiu
Constructing weak simulations from linear implications for processes with private names. Math. Struct. Comput. Sci. 29 (8) (2019)
Di Long Li, Alwen Tiu
Combining ProVerif and Automated Theorem Provers for Security Protocol Verification. CADE (2019)
Ross Horne, Alwen Tiu, Bogdan Aman, Gabriel Ciobanu
De Morgan Dual Nominal Quantifiers Modelling Private Names in Non-Commutative Logic. ACM Trans. Comput. Log. 20 (4) (2019)
Tim Lyon, Alwen Tiu, Rajeev Goré, Ranald Clouston
Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents. CoRR (2019)
Agata Ciabattoni, Tim Lyon, Revantha Ramanayake, Alwen Tiu
Display to Labelled Proofs and Back Again for Tense Logics. CoRR (2019)
Hongxu Chen, Alwen Tiu, Zhiwu Xu, Yang Liu
A Permission-Dependent Type System for Secure Information Flow Analysis. CSF (2018)
Zhe Hou, Rajeev Goré, Alwen Tiu
A labelled sequent calculus for BBI: proof theory and proof search. J. Log. Comput. 28 (4) (2018)
Fuyuan Zhang, Yongwang Zhao, David Sanán, Yang Liu, Alwen Tiu, Shang-Wei Lin, Jun Sun
Compositional Reasoning for Shared-Variable Concurrent Programs. FM (2018)
Ross Horne, Ki Yung Ahn, Shang-Wei Lin, Alwen Tiu
Quasi-Open Bisimilarity with Mismatch is Intuitionistic. LICS (2018)
Zhe Hou, Ranald Clouston, Rajeev Goré, Alwen Tiu
Modular Labelled Sequent Calculi for Abstract Separation Logics. ACM Trans. Comput. Log. 19 (2) (2018)
Ross Horne, Sjouke Mauw, Alwen Tiu
The Attacker Does not Always Hold the Initiative: Attack Trees with External Refinement. GraMSec@FLoC (2018)
Zhe Hou, David Sanán, Alwen Tiu, Yang Liu
Proof Tactics for Assertions in Separation Logic. ITP (2017)
Hongxu Chen, Alwen Tiu, Zhiwu Xu, Yang Liu
A Permission-Dependent Type System for Secure Information Flow Analysis. CoRR (2017)
Ki Yung Ahn, Ross Horne, Alwen Tiu
Generating Witness of Non-Bisimilarity for the pi-Calculus. CoRR (2017)
Ross Horne, Sjouke Mauw, Alwen Tiu
Semantics for Specialising Attack Trees based on Linear Logic. Fundam. Informaticae 153 (1-2) (2017)
David Sanán, Yongwang Zhao, Zhe Hou, Fuyuan Zhang, Alwen Tiu, Yang Liu
CSimpl: A Rely-Guarantee-Based Framework for Verifying Concurrent Programs. TACAS (1) (2017)
Zhe Hou, Ranald Clouston, Rajeev Goré, Alwen Tiu
Modular Labelled Sequent Calculi for Abstract Separation Logics. CoRR (2017)
Ki Yung Ahn, Ross Horne, Alwen Tiu
A Characterisation of Open Bisimulation using an Intuitionistic Modal Logic. CoRR (2017)
Wilayat Khan, Alwen Tiu, David Sanán
VeriFormal: An Executable Formal Model of a Hardware Description Language. SG-CRC (2017)
Yuekang Li, Bihuan Chen, Mahinthan Chandramohan, Shang-Wei Lin, Yang Liu, Alwen Tiu
Steelix: program-state based binary fuzzing. ESEC/SIGSOFT FSE (2017)
Ki Yung Ahn, Ross Horne, Alwen Tiu
A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic. CONCUR (2017)
Emanuele D'Osualdo, Luke Ong, Alwen Tiu
Deciding Secrecy of Security Protocols for an Unbounded Number of Sessions: The Case of Depth-Bounded Processes. CSF (2017)
Zhe Hou, David Sanán, Alwen Tiu, Rajeev Goré, Ranald Clouston
Separata: Isabelle tactics for Separation Algebra. Arch. Formal Proofs 2016 (2016)
Fuyuan Zhang, Yongwang Zhao, David Sanán, Yang Liu, Alwen Tiu, Shang-Wei Lin, Zhimin Wu, Jun Sun
Compositional Reasoning for Shared-variable Concurrent Programs. CoRR (2016)
Alwen Tiu, Nam Nguyen, Ross Horne
SPEC: An Equivalence Checker for Security Protocols. APLAS (2016)
Zhe Hou, Alwen Tiu
Completeness for a First-Order Abstract Separation Logic. APLAS (2016)
Ross Horne, Alwen Tiu, Bogdan Aman, Gabriel Ciobanu
Private Names in Non-Commutative Logic. CONCUR (2016)
Zhe Hou, David Sanán, Alwen Tiu, Yang Liu
A formal model for the SPARCv8 ISA and a proof of non-interference for the LEON3 processor. Arch. Formal Proofs 2016 (2016)
Omar I. Al-Bataineh, Xiaofei Xie, Alwen Tiu, Mark Reynolds
Termination of Monotone Programs. CoRR (2016)
Ross Horne, Alwen Tiu, Bogdan Aman, Gabriel Ciobanu
Private Names in Non-Commutative Logic. CoRR (2016)
Zhe Hou, Alwen Tiu
Completeness for a First-order Abstract Separation Logic. CoRR (2016)
Zhe Hou, David Sanán, Alwen Tiu, Yang Liu, Koh Chuen Hoa
An Executable Formalisation of the SPARCv8 Instruction Set Architecture: A Case Study for the LEON3 Processor. FM (2016)
Zhe Hou, Rajeev Goré, Alwen Tiu
Automated Theorem Proving for Assertions in Separation Logic with All Connectives. CADE (2015)
Hendra Gunadi, Alwen Tiu, Rajeev Goré
Formal Certification of Android Bytecode. CoRR (2015)
Xiaoning Du, Yang Liu, Alwen Tiu
Trace-Length Independent Runtime Monitoring of Quantitative Policies in LTL. FM (2015)
Jeremy E. Dawson, Ranald Clouston, Rajeev Goré, Alwen Tiu
From Display Calculi to Deep Nested Sequent Calculi: Formalised for Full Intuitionistic Linear Logic. IFIP TCS (2014)
Zhe Hou, Ranald Clouston, Rajeev Goré, Alwen Tiu
Proof search for propositional abstract separation logics via labelled sequents. POPL (2014)
Hendra Gunadi, Alwen Tiu
Efficient Runtime Monitoring with Metric Temporal Logic: A Case Study in the Android Operating System. FM (2014)
David Baelde, Kaustuv Chaudhuri, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu, Yuting Wang
Abella: A System for Reasoning about Relational Specifications. J. Formaliz. Reason. 7 (2) (2014)
Ranald Clouston, Jeremy E. Dawson, Rajeev Goré, Alwen Tiu
Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic. CSL (2013)
Zhe Hou, Ranald Clouston, Rajeev Goré, Alwen Tiu
Proof search for propositional abstract separation logics via labelled sequents. CoRR (2013)
Zhe Hou, Alwen Tiu, Rajeev Goré
A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search CoRR (2013)
Ranald Clouston, Jeremy E. Dawson, Rajeev Goré, Alwen Tiu
Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic - Extended Version. CoRR (2013)
Zhe Hou, Alwen Tiu, Rajeev Goré
A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search. TABLEAUX (2013)
Hendra Gunadi, Alwen Tiu
Efficient Runtime Monitoring with Metric Temporal Logic: A Case Study in the Android Operating System. CoRR (2013)
Dale Miller, Alwen Tiu
Extracting Proofs from Tabled Proof Search. CPP (2013)
Alwen Tiu, Alberto Momigliano
Cut elimination for a logic with induction and co-induction. J. Appl. Log. 10 (4) (2012)
Alwen Tiu, Egor Ianovski, Rajeev Goré
Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures CoRR (2012)
Yuxing Deng, Alwen Tiu
Characterisations of testing preorders for a finite probabilistic π-calculus. Formal Aspects Comput. 24 (4-6) (2012)
Alwen Tiu, Egor Ianovski, Rajeev Goré
Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures. Advances in Modal Logic (2012)
Yuxing Deng, Alwen Tiu
Characterisations of Testing Preorders for a Finite Probabilistic pi-Calculus CoRR (2012)
Alwen Tiu
Stratification in Logics of Definitions. IJCAR (2012)
Alwen Tiu
On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics. TABLEAUX (Workshops, Tutorials, and Short Papers) (2011)
Rajeev Goré, Linda Postniece, Alwen Tiu
On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics Log. Methods Comput. Sci. 7 (2) (2011)
Alwen Tiu
A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains. TABLEAUX (2011)
Rajeev Goré, Linda Postniece, Alwen Tiu
Cut-elimination and Proof Search for Bi-Intuitionistic Tense Logic. Advances in Modal Logic (2010)
Rajeev Goré, Linda Postniece, Alwen Tiu
Cut-Elimination and Proof Search for Bi-Intuitionistic Tense Logic CoRR (2010)
Alwen Tiu, Dale Miller
Proof search specifications of bisimulation and modal logics for the pi-calculus. ACM Trans. Comput. Log. 11 (2) (2010)
Alwen Tiu, Alberto Momigliano
Cut Elimination for a Logic with Induction and Co-induction CoRR (2010)
Alwen Tiu, Jeremy E. Dawson
Automating Open Bisimulation Checking for the Spi Calculus. CSF (2010)
Alwen Tiu, Rajeev Goré, Jeremy E. Dawson
A Proof Theoretic Analysis of Intruder Theories Log. Methods Comput. Sci. 6 (3) (2010)
Alwen Tiu, Rajeev Goré
A Proof Theoretic Analysis of Intruder Theories. RTA (2009)
Franz Baader, Andreas Bauer, Alwen Tiu
Matching Trace Patterns with Regular Policies. LATA (2009)
Andreas Bauer, Rajeev Goré, Alwen Tiu
A First-Order Policy Language for History-Based Transaction Monitoring. ICTAC (2009)
Andreas Bauer, Rajeev Goré, Alwen Tiu
A decidable policy language for history-based transaction monitoring CoRR (2009)
Jeremy E. Dawson, Alwen Tiu
Formalising Observer Theory for Environment-Sensitive Bisimulation. TPHOLs (2009)
Alwen Tiu
A Trace Based Bisimulation for the Spi Calculus CoRR (2009)
Alwen Tiu
On the Role of Names in Reasoning about lambda-tree Syntax Specifications. Electron. Notes Theor. Comput. Sci. 228 (2009)
Rajeev Goré, Linda Postniece, Alwen Tiu
Taming Displayed Tense Logics Using Nested Sequents with Deep Inference. TABLEAUX (2009)
Alwen Tiu
Cut Elimination for a Logic with Generic Judgments and Induction CoRR (2008)
Alwen Tiu, Dale Miller
Proof Search Specifications for Bisimulation and Modal Logics for the pi-Calculus CoRR (2008)
Alwen Tiu, Rajeev Goré
A proof theoretic analysis of intruder theories CoRR (2008)
Franz Baader, Andreas Bauer, Alwen Tiu
Matching linear and non-linear trace patterns with regular policies. UNIF (2008)
Alwen Tiu, Alberto Momigliano
Induction and Co-induction in Sequent Calculus CoRR (2008)
Rajeev Goré, Linda Postniece, Alwen Tiu
Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents. Advances in Modal Logic (2008)
David Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu
The Bedwyr system for model checking over syntactic expressions CoRR (2007)
Alwen Tiu
A Logic for Reasoning about Generic Judgments. Electron. Notes Theor. Comput. Sci. 174 (5) (2007)
Rajeev Goré, Alwen Tiu
Classical Modal Display Logic in the Calculus of Structures and Minimal Cut-free Deep Inference Calculi for S5. J. Log. Comput. 17 (4) (2007)
David Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu
The Bedwyr System for Model Checking over Syntactic Expressions. CADE (2007)
Alwen Tiu
A Trace Based Bisimulation for the Spi Calculus: An Extended Abstract. APLAS (2007)

Alwen Tiu.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Alwen Tiu