Browsing by Author Ghilezan, Silvia
Showing results 117 to 121 of 121
< previous
Author(s) | Title | Issue Date | Appears in | Rank |
---|---|---|---|---|
Ghilezan, Silvia | Types and Privacy : Invited talk | Oct-2016 | 1st Workshop, FMPriv 2016 - Formal Methods for Privacy, 7 October 2016, Limassol, Cyprus | M32 |
Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, Jovanka; Dezani-Ciancaglini, Mariangiola | Types and Roles for Web Security | 2012 | Transactions on Advanced Research; 8; 16-21 | |
Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, Jovanka | Types for role-based access control of dynamic web data | 1-Jun-2011 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 19th International Workshop on Functional and Constraint Logic Programming, WFLP 2010; Madrid; Spain; 17 January 2010 through 17 January 2010; 6559 LNCS; 1-29 | M33 |
Ghilezan, Silvia | Types in access control and privacy : Invited talk | 2015 | NII Shonan meeting 069: Logic and Verification Methods in Security and Privacy, October 26-29, 2015, Shonan, Japan | M32 |
Ghilezan, Silvia | Types in Logic, Topology and Structure - Keynote Speaker | 2022 | UNILOG 2022 - 7th World Congress and School on Universal Logic Workshop Logic and Structure, 6-11 April 2022, Orthodox Academy of Crete, Greece | M32 |