Ioannis Papagiannis
Ioannis Papagiannis
Email verificata su - Home page
TitoloCitata daAnno
Information flow control for secure cloud computing
J Bacon, D Eyers, TFJM Pasquier, J Singh, I Papagiannis, P Pietzuch
IEEE Transactions on Network and Service Management 11 (1), 76-89, 2014
Multi-solver support in symbolic execution
H Palikareva, C Cadar
International Conference on Computer Aided Verification, 53-68, 2013
DEFCON: high-performance event processing with information security
M Migliavacca, I Papagiannis, DM Eyers, B Shand, J Bacon, P Pietzuch
Proceedings of the 2010 USENIX conference on USENIX annual technical …, 2010
PHP Aspis: using partial taint tracking to protect against injection attacks
I Papagiannis, M Migliavacca, P Pietzuch
2nd USENIX Conference on Web Application Development 13, 2011
Cloudfilter: practical control of sensitive data propagation to the cloud
I Papagiannis, P Pietzuch
Proceedings of the 2012 ACM Workshop on Cloud computing security workshop …, 2012
Safeweb: A middleware for securing ruby-based web applications
P Hosek, M Migliavacca, I Papagiannis, DM Eyers, D Evans, B Shand, ...
Proceedings of the 12th International Middleware Conference, 480-499, 2011
Chopped symbolic execution
D Trabish, A Mattavelli, N Rinetzky, C Cadar
Proceedings of the 40th International Conference on Software Engineering …, 2018
Distributed middleware enforcement of event flow security policy
M Migliavacca, I Papagiannis, DM Eyers, B Shand, J Bacon, P Pietzuch
ACM/IFIP/USENIX International Conference on Distributed Systems Platforms …, 2010
Enforcing user privacy in web applications using Erlang
I Papagiannis, M Migliavacca, DM Eyers, B Shand, J Bacon, P Pietzuch
Web, 2010
Security policy and information sharing in distributed event-based systems
B Shand, P Pietzuch, I Papagiannis, K Moody, M Migliavacca, DM Eyers, ...
Reasoning in Event-Based Distributed Systems, 151-172, 2011
Accelerating publish/subscribe matching on reconfigurable supercomputing platforms
KH Tsoi, I Papagiannis, M Migliavacca, W Luk, P Pietzuch
Many-Core and Reconfigurable Supercomputing Conference (MRSC), Rome, Italy 3 …, 2010
Privateflow: decentralised information flow control in event based middleware
I Papagiannis, M Migliavacca, P Pietzuch, B Shand, D Eyers, J Bacon
Proceedings of the Third ACM International Conference on Distributed Event …, 2009
A {DSL} Approach to Reconcile Equivalent Divergent Program Executions
L Pina, D Grumberg, A Andronidis, C Cadar
2017 {USENIX} Annual Technical Conference ({USENIX}{ATC} 17), 417-429, 2017
IVD: Automatic learning and enforcement of authorization rules in online social networks
P Marinescu, C Parry, M Pomarole, Y Tian, P Tague, I Papagiannis
2017 IEEE Symposium on Security and Privacy (SP), 1094-1109, 2017
Event-processing middleware with information flow control
DM Eyers, B Roberts, J Bacon, I Papagiannis, M Migliavacca, P Pietzuch, ...
Proceedings of the 10th ACM/IFIP/USENIX International Conference on …, 2009
A QoS-based selection mechanism exploiting business relationships in workflows
D Kyriazis, K Tserpes, I Papagiannis, K Konstanteli, T Varvarigou
International Workshop on Grid Economics and Business Models, 102-115, 2009
BrowserFlow: Imprecise Data Flow Tracking to Prevent Accidental Data Disclosure
I Papagiannis, P Watcharapichat, D Muthukumaran, P Pietzuch
Proceedings of the 17th International Middleware Conference, 9, 2016
Practical and Effcient Runtime Taint Tracking
I Papagiannis
Imperial College London, 2013
PrivateFlow: Decentralised Information Flow Control in Event Based Middleware (Demo)∗
I Papagiannis, M Migliavacca, P Pietzuch, B Sh, D Eyers, J Bacon
Business relationships in grid workflows
I Papagiannis, D Kyriazis, M Kardara, V Andronikou, T Varvarigou
International Workshop on Grid Economics and Business Models, 28-40, 2008
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20