Chiara Braghin - Citegraph

Author Info

Name	Affiliation	Papers
CHIARA BRAGHIN	Dipartimento di Informatica, Università Ca' Foscari di Venezia, Via Torino 155, 30173 Venezia - Mestre (Italy)	18
Collaborators	Citations	PageRank
20	105	8.86
Referers	Referees	References
163	229	268

Search Limit

100229

Publications (18 rows)

Collaborators (20 rows)

Referers (100 rows)

Referees (100 rows)

Title	Citations	PageRank	Year
Are mHealth Apps Secure? A Case Study	0	0.34	2018
Using Semantic Lifting for improving Process Mining: a Data Loss Prevention System case study.	4	0.43	2013
The binary perfect phylogeny with persistent characters	7	0.72	2011
A model checking-based approach for security policy verification of mobile systems	12	0.64	2011
Information flow security in Boundary Ambients	8	0.69	2008
An Exact Approach for solving the Balanced Minimum Evolution Problem	0	0.34	2008
Automated verification of security policies in mobile code	3	0.38	2007
Role-based access control for a distributed calculus	7	0.46	2006
Flow-sensitive Leakage Analysis in Mobile Ambients	1	0.34	2005
Checking Integrity via CoPS and Banana: the E-Commerce Case Study	0	0.34	2004
A Distributed Calculus for Rôle-Based Access Control	10	0.58	2004
Nesting analysis of mobile ambients	3	0.41	2004
Complexity of Nesting Analysis in Mobile Ambients	2	0.37	2003
Information Leakage Detection in Boundary Ambients	2	0.38	2003
BANANA: a tool for boundary ambients nesting analysis	6	0.45	2003
Security boundaries in mobile ambients	18	0.75	2002
Control flow analysis of mobile ambients with security boundaries	14	0.70	2002
Boundary Inference for Enforcing Security Policies in Mobile Ambients	8	0.53	2002

1