@ARTICLE{
author={Prokic Ivan|0000-0001-5420-1527,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|0000-0001-5420-1527,Pantovic Jovanka B|0000-0002-3974-5064,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|0000-0003-2253-8285,Jaksic Svetlana|,Pantovic Jovanka B|0000-0002-3974-5064,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|0000-0003-2253-8285,Pantovic Jovanka B|0000-0002-3974-5064,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},
}