Benjamin Aziz

From MaRDI portal
Person:2852073

Available identifiers

zbMath Open aziz.benjaminMaRDI QIDQ2852073

List of research outcomes





PublicationDate of PublicationType
Excommunication: transforming \(\pi \)-calculus specifications to remove internal communication2023-08-10Paper
A semiring-based quantitative analysis of mobile systems2013-10-07Paper
A denotational approach to the static analysis of cryptographic processes2013-09-20Paper
Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation2009-08-11Paper
Measuring the Speed of Information Leakage in Mobile Processes2009-04-28Paper
Towards Modelling Obligations in Event-B2008-11-11Paper
MODELLING AND ANALYSIS OF PKI-BASED SYSTEMS USING PROCESS CALCULI2007-06-05Paper

Research outcomes over time

This page was built for person: Benjamin Aziz

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2852073&oldid=7867582"
Powered by MediaWiki