Concepedia

Silvia Crafà

SC

9

Publications

250

Citations

9

H-Index

2002

Active since

Affiliations

University of Padua(Current)

Ca' Foscari University of Venice

Silvia Crafà is an author at University of Padua specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal MethodsMobile ComputingFormal VerificationCommunicationData SecurityInternet Of ThingsAutomated ReasoningInformation Security

Publications per year

2002–2024

9

Publications

9

Access control for mobile agents

Michele Bugliesi, Giuseppe Castagna, Silvia Crafà · ACM Transactions on Programming Languages and Systems · 2004 · 87 citations · Full text

Engineering, Logical Access Control, Information Security +14

Communication and mobility control in boxed ambients

Michele Bugliesi, Silvia Crafà, Massimo Merro et al. · Information and Computation · 2005 · 36 citations · Full text

Engineering, Systems Engineering, Mobility Management +6

A Logic for True Concurrency

Paolo Baldan, Silvia Crafà · Journal of the ACM · 2014 · 35 citations

Engineering, Automated Reasoning, Verification +13

Information Flow Security for Boxed Ambients

Silvia Crafà, Michele Bugliesi, Giuseppe Castagna · Electronic Notes in Theoretical Computer Science · 2002 · 27 citations · Full text

Engineering, Information Security, Communication +20

Smart contract languages: A comparative analysis

Massimo Bartoletti, Lorenzo Benetollo, Michele Bugliesi et al. · Future Generation Computer Systems · 2024 · 18 citations · Full text

Rows per page

1–5 of 9