@ARTICLE{
author={Prokic Ivan,Vieira Hugo Torres},
year={2021},
title={The C-pi-calculus: A model for confidential name passing},
journal={JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING},
volume={119},
number={},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Prokic Ivan,Pantovic Jovanka B,Vieira Hugo Torres},
year={2019},
title={A calculus for modeling floating authorizations},
journal={JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING},
volume={107},
number={},
pages={136-174},
document_type={Article},
} 

@ARTICLE{
author={Ghilezan Silvia,Jaksic Svetlana,Pantovic Jovanka B,Perez Jorge A,Vieira Hugo Torres},
year={2016},
title={Dynamic role authorization in multiparty conversations},
journal={FORMAL ASPECTS OF COMPUTING},
volume={28},
number={4},
pages={643-667},
document_type={Article},
} 

@ARTICLE{
author={Bartoletti Massimo,Castellani Ilaria,Denielou Pierre-Malo,Dezani-Ciancaglini Mariangiola,Ghilezan Silvia,Pantovic Jovanka B,Perez Jorge A,Thiemann Peter,Toninho Bernardo,Vieira Hugo Torres},
year={2015},
title={Combining behavioural types with security analysis},
journal={JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING},
volume={84},
number={6},
pages={763-780},
document_type={Article},
}