Luigi Logrippo

University of Ottawa — Canada

Computer Science · Physical Sciences

21h-index1.8kcitations151works1.32yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(35), Service-Oriented Architecture and Web Services(35), Access Control and Trust(35), Security and Verification in Computing(28), Advanced Software Engineering Methodologies(26)

Publications151 total

A Web-Based Environment for the Specification and Generation of Smart Legal Contracts
Lecture notes in computer science·2026
A formal approach for security pattern enforcement in software architecture
Computers & Security·2025Open Access
A Web-Based Environment for the Specification and Generation of Smart Legal Contracts
arXiv (Cornell University)·2025Open Access
Security theory for data flow and access control: From partial orders to lattices and back, a half-century trip
arXiv (Cornell University)·2025Open Access
The compliance gap in data supply chains: contract specification languages and smart contracts as compliance technologies
Artificial Intelligence and Law·2025
Data flow security in Role-based access control
Journal of Information Security and Applications·2025Open Access
Detecting Information Disclosure Vulnerability in Software Architectures Using Alloy
Lecture notes in computer science·2025
Toward Automatic Enforcement of Security Patterns in Software Architecture Using Alloy
Lecture notes in computer science·2025
A Formal Approach for Security Pattern Enforcement in Software Architecture
SSRN Electronic Journal·2025Open Access
Hierarchical Colored Petri Nets for Vulnerability Detection in Software Architectures
2025Open Access
Engineering Smart Contracts with Symboleo: Progress Report 2024
2024· 1 cited
Implementation of a Partial-Order Data Security Model for the Internet of Things (IoT) Using Software-Defined Networking (SDN)
Journal of Cybersecurity and Privacy·2024Open Access
SymboleoPC: checking properties of legal contracts
Software & Systems Modeling·2024· 6 cited
Automated generation of smart contract code from legal contract specifications with Symboleo2SC
Software & Systems Modeling·2024· 12 cited
The order-theoretical foundation for data flow security
arXiv (Cornell University)·2024Open Access
Implementation of a Partial Order Data Security Model for the Internet of Things (IoT) Using Software Defined Networking (SDN)
Preprints.org·2024· 2 citedOpen Access
Automated Generation of Smart Contract Code from Legal Contract Specifications with Symboleo2SC
Zenodo (CERN European Organization for Nuclear Research)·2023Open Access
The Order-Theoretical Foundation for Data Flow Security
SSRN Electronic Journal·2023· 1 citedOpen Access
Specification and analysis of legal contracts with Symboleo
Software & Systems Modeling·2022· 18 cited
Symboleo2SC
2022· 16 cited
page 1 of 8Next →

Frequent Co-authors

Daniel Amyot(12), Kamel Adi(8), Mohammed Faci(5), Alireza Parvizimosaed(5), John Mylopoulos(5), Bernard Stépien(5), Jacques Sincennes(5), Riaz Ahmed Shaikh(4), Tom Gray(3), Sepehr Sharifi(3), Marco Roveri(3), Aidin Rasti(3), Mazen Haj-Hussein(2), Brahim Ghribi(2), R. J. A. Buhr(2), Hemanth Khambhammettu(2), Petre Dini(2), Amal Ahmed Anda(2), Serge Mankovski(2), Chris A. Vissers(1)