CUFinder

Alwen Tiu

About Alwen Tiu

Alwen Tiu, With an exceptional h-index of 27 and a recent h-index of 17 (since 2020), a distinguished researcher at Australian National University, specializes in the field of Logic, proof theory, process calculus, theorem proving, computer security.

His recent articles reflect a diverse array of research interests and contributions to the field:

Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents

Dagster: parallel structured search

Modal Logics for Mobile Processes Revisited

Dagster: Parallel structured search with case studies

Privacy Analysis of Samsung's Crowd-Sourced Bluetooth Location Tracking System

PFMC: a parallel symbolic model checker for security protocol verification

Is Eve nearby? Analysing protocols under the distant-attacker assumption

An executable formal model of the vhdl in isabelle/hol

Alwen Tiu Information

University

Position

Research School of Computer Science The

Citations(all)

2645

Citations(since 2020)

1018

Cited By

2103

hIndex(all)

27

hIndex(since 2020)

17

i10Index(all)

46

i10Index(since 2020)

27

Email

University Profile Page

Google Scholar

Alwen Tiu Skills & Research Interests

Logic

proof theory

process calculus

theorem proving

computer security

Top articles of Alwen Tiu

Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents

arXiv preprint arXiv:2404.15855

2024/4/24

Alwen Tiu
Alwen Tiu

H-Index: 15

Dagster: parallel structured search

Proceedings of the AAAI Conference on Artificial Intelligence

2023/6/26

Charles Gretton
Charles Gretton

H-Index: 10

Josh Milthorpe
Josh Milthorpe

H-Index: 7

Alwen Tiu
Alwen Tiu

H-Index: 15

Modal Logics for Mobile Processes Revisited

2023

Tiange Liu
Tiange Liu

H-Index: 2

Alwen Tiu
Alwen Tiu

H-Index: 15

Jim De Groot
Jim De Groot

H-Index: 2

Dagster: Parallel structured search with case studies

2022/11/4

Charles Gretton
Charles Gretton

H-Index: 10

Josh Milthorpe
Josh Milthorpe

H-Index: 7

Alwen Tiu
Alwen Tiu

H-Index: 15

Privacy Analysis of Samsung's Crowd-Sourced Bluetooth Location Tracking System

arXiv preprint arXiv:2210.14702

2022/10/26

Alwen Tiu
Alwen Tiu

H-Index: 15

Thomas Haines
Thomas Haines

H-Index: 6

PFMC: a parallel symbolic model checker for security protocol verification

2022/10/10

Alex James
Alex James

H-Index: 11

Alwen Tiu
Alwen Tiu

H-Index: 15

Is Eve nearby? Analysing protocols under the distant-attacker assumption

2022/8/7

Ross Horne
Ross Horne

H-Index: 9

Sjouke Mauw
Sjouke Mauw

H-Index: 19

Alwen Tiu
Alwen Tiu

H-Index: 15

An executable formal model of the vhdl in isabelle/hol

arXiv preprint arXiv:2202.04192

2022/2/8

Zhe Hou
Zhe Hou

H-Index: 7

Yang Liu
Yang Liu

H-Index: 18

Alwen Tiu
Alwen Tiu

H-Index: 15

A Methodology for Designing Proof Search Calculi for Non-Classical Logics (Invited Talk)

2022

Alwen Tiu
Alwen Tiu

H-Index: 15

A characterisation of open bisimilarity using an intuitionistic modal logic

Logical Methods in Computer Science

2021/8/10

Alwen Tiu
Alwen Tiu

H-Index: 15

Ross Horne
Ross Horne

H-Index: 9

Display to labeled proofs and back again for tense logics

ACM Transactions on Computational Logic (TOCL)

2021/7/22

Alwen Tiu
Alwen Tiu

H-Index: 15

On unlinkability and denial of service attacks resilience of whistleblower platforms

Future Generation Computer Systems

2021/5/1

Anwitaman Datta
Anwitaman Datta

H-Index: 21

Alwen Tiu
Alwen Tiu

H-Index: 15

An isabelle/hol formalisation of the SPARC instruction set architecture and the TSO memory model

Journal of Automated Reasoning

2021/4

Alwen Tiu
Alwen Tiu

H-Index: 15

Yang Liu
Yang Liu

H-Index: 18

Jin Song Dong
Jin Song Dong

H-Index: 27

Proceedings Fifteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice

arXiv preprint arXiv:2101.02835

2021/1/8

Claudio Sacerdoti Coen
Claudio Sacerdoti Coen

H-Index: 12

Alwen Tiu
Alwen Tiu

H-Index: 15

A permission-dependent type system for secure information flow analysis

Journal of Computer Security

2021/1/1

Zhiwu Xu
Zhiwu Xu

H-Index: 8

Hongxu Chen
Hongxu Chen

H-Index: 9

Alwen Tiu
Alwen Tiu

H-Index: 15

Yang Liu
Yang Liu

H-Index: 18

28th EACSL Annual Conference on Computer Science Logic (CSL 2020)

2020

Véronique Cortier
Véronique Cortier

H-Index: 24

Anuj Dawar
Anuj Dawar

H-Index: 17

Artur Jeż
Artur Jeż

H-Index: 14

Eduardo Bonelli
Eduardo Bonelli

H-Index: 7

Roberto Maieli
Roberto Maieli

H-Index: 3

Dana Angluin
Dana Angluin

H-Index: 27

Orna Kupferman
Orna Kupferman

H-Index: 26

Paul Brunet
Paul Brunet

H-Index: 7

Anupam Das
Anupam Das

H-Index: 2

Robert Harper
Robert Harper

H-Index: 4

Yijia Chen
Yijia Chen

H-Index: 9

Robin Cockett
Robin Cockett

H-Index: 15

Alessio Mansutti
Alessio Mansutti

H-Index: 6

Thomas Ferrère
Thomas Ferrère

H-Index: 10

Bernhard Kragl
Bernhard Kragl

H-Index: 4

Giulio Guerrieri
Giulio Guerrieri

H-Index: 11

Jurriaan Rot
Jurriaan Rot

H-Index: 11

Tim Lyon
Tim Lyon

H-Index: 4

Alwen Tiu
Alwen Tiu

H-Index: 15

Ranald Clouston
Ranald Clouston

H-Index: 9

Martin Zimmermann
Martin Zimmermann

H-Index: 11

Paweł Parys
Paweł Parys

H-Index: 11

Robert Passmann
Robert Passmann

H-Index: 3

Martin Ziegler
Martin Ziegler

H-Index: 25

José Espírito Santo
José Espírito Santo

H-Index: 5

Jonas Schmidt
Jonas Schmidt

H-Index: 1

Thomas Schwentick
Thomas Schwentick

H-Index: 23

Ioannis Kokkinis
Ioannis Kokkinis

H-Index: 5

Starting With SOAP: rapid deployment of contract tracing in a pandemic

2020

Seth Lazar
Seth Lazar

H-Index: 15

Dilan Thampapillai
Dilan Thampapillai

H-Index: 2

Jochen Trumpf
Jochen Trumpf

H-Index: 21

Katherine Daniell
Katherine Daniell

H-Index: 20

Ben Swift
Ben Swift

H-Index: 6

Alwen Tiu
Alwen Tiu

H-Index: 15

Graham Williams
Graham Williams

H-Index: 8

See List of Professors in Alwen Tiu University(Australian National University)