Pasquale Malacaria Home Page

Research curiosity: information principle, automated safety analysis, verification, determination assist for cybersecurity, optimization, game concept, semantics of programming languages, program analysis. Quoc-Sang Phan, Lucas Bang, Corina S. Pasareanu, Pasquale Malacaria, Tevfik Bultan: Synthesis of Adaptive Side-Channel Attacks. Information Leakage Analysis of Complex C Code and its Application to OpenSSL . Efficient Numerical Frameworks for MultiObjective Cyber Security Planning . Relative Perfect Secrecy: Universally Optimal Strategies and Channel Design . Multi-run side-channel evaluation utilizing Symbolic Execution and Max-SMT . Comparing Decision Support Approaches for Cyber Security Investment. All-Solution Satisfiability Modulo Theories: functions, algorithms and benchmarks . Comparing Decision Support Approaches for Cyber Security Investment. Algebraic foundations for quantitative information flow in Mathematical Structure in Computer Science February 2015 : Mathematical Structure in Computer Science February 2015 (an outdated arxiv model is right here ). Game concept for cyber investments: "Cybersecurity Games and Investments: A decision Support Approach" in GameSec2014. The nineteenth CREST Open Workshop Software. London Institute for Mathematical Sciences. The seventeenth CREST Open Workshop Software. Tenth International School on Formal Methods for the Design of Computer, Communication and Software Systems: Quantitative Aspects of Programming Languages. 5th International Workshop on Programming Language Interference and Dependence ( PLID'09 ) . EPSRC mission "Model Checking and Program Analysis for Quantifying Interference". EPSRC platform grant "Extreme Reasoning". Excited about a PhD? Funding out there, further particulars click on here. Applicants should be ready to point out some knowledge and interest in my areas of analysis.

273-284, December 2015. PDF. Glenn Elliott’sdissertation accommodates significantly extra implementation details and experimental outcomes than the paper. M. Chisholm, B. Ward, N. Kim, and J. Anderson, “Cache Sharing and Isolation Tradeoffs in Multicore Mixed-Criticality Systems”, Proceedings of the 36th IEEE Real-Time Systems Symposium, pp. 305-316, December 2015. PDF. Longer version with more graphs: PDF. C. Jarrett, B. Ward, and J. Anderson, “A Contention-Sensitive Fine-Grained Locking Protocol for Multiprocessor Real-Time Systems”, Proceedings of the twenty third International Conference on Real-Time Networks and Systems, pp. 3-12, November 2015. PDF. GPU Platforms”, Proceedings of the 23rd International Conference on Real-Time Networks and Systems, pp. K. Yang and J. Anderson, “On the Soft Real-Time Optimality of world EDF on Multiprocessors: From Identical to Uniform Heterogeneous”, Proceedings of the twenty first IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, pp. 1-10, August 2015. PDF. K. Yang and J. Anderson, “An Optimal Semi-Partitioned Scheduler for Uniform Heterogeneous Multiprocessors”, Proceedings of the 27th Euromicro Conference on Real-Time Systems, pp. 199-210, July 2015. PDF.

J. Erickson, N. Kim, and J. Anderson, “Recovering from Overload in Multicore Mixed-Criticality Systems”, Proceedings of the 29th IEEE International Parallel and Distributed Processing Symposium, pp. 775-785, May 2015. PDF. B. Ward and J. Anderson, “Contention-Sensitive Multi-Resource Locking Protocol for Multiprocessor Real-Time Systems”, Proceedings of the 35th IEEE Real-Time Systems Work-in-Progress Session, pp. 11-12, December 2014. PDF. G. Elliott and J. Anderson, “Exploring the Multitude of Real-Time Multi-GPU Configurations”, Proceedings of the 35th IEEE Real-Time Systems Symposium, pp. 260-271, December 2014. PDF. Longer model with appendices: PDF. Database of schedulability results . R. Liu, A. Mills, and J. Anderson, “Independence Thresholds: Balancing Tractability and Practicality in Soft Real-Time Stochastic Analysis”, Proceedings of the 35th IEEE Real-Time Systems Symposium, pp. 314-323, December 2014. PDF. K. Yang and J. Anderson, “Optimal GEDF-Based Schedulers that Allow Intra-Task Parallelism on Heterogeneous Multiprocessors”, Proceedings of the twelfth IEEE Symposium on Embedded Systems for Real-Time Multimedia, pp.

30-39, October 2014. PDF. K. Yang and J. Anderson, “Soft Real-Time Semi-Partitioned Scheduling with Restricted Migrations on Uniform Heterogeneous Multiprocessors”, Proceedings of the 22nd International Conference on Real-Time Networks and Systems, pp. 215-224, October 2014. PDF. B. Ward, A. Thekkilakattil, and J. Anderson, “Optimizing Preemption-Overhead Accounting in Multiprocessor Real-Time Systems”, Proceedings of the 22nd International Conference on Real-Time Networks and Systems, pp. 235-243, October 2014. PDF. Longer version with further graphs: PDF. J. Anderson, J. Erickson, U. Devi, and B. Casses, “Optimal Semi-Partitioned Scheduling in Soft Real-Time Systems”, Proceedings of the 20th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, August 2014. Winner, best paper award. PDF. Longer version with extra graphs: PDF. Code used in experiments: Compressed tar file. G. Elliott, N. Kim, J. Erickson, C. Liu, and J. Anderson, “Minimizing Response Times of Automotive Dataflows on Multicore”, Proceedings of the twentieth IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, August 2014. PDF.

Longer model with appendices: PDF. N. Kim and J. Erickson and J. Anderson, “Mixed-Criticality on Multicore (MC2): A Status Report”, Proceedings of the 10th International Workshop on Operating Systems Platforms for Embedded Real-Time Applications, pp. 45-50, July 2014. PDF. B. Ward and J. Anderson, “Multi-Resource Real-Time Reader/Writer Locks for Multiprocessors”, Proceedings of the 28th IEEE International Parallel and Distributed Processing Symposium, 177-186, May 2014. PDF. Longer model with more particulars and all schedulability graphs: PDF. G. Elliott, B. Ward, and J. Anderson, “GPUSync: A Framework for Real-Time GPU Management”, Proceedings of the 34th IEEE Real-Time Systems Symposium, pp. 33-44, December 2013. PDF. Longer version with some further particulars: PDF. B. Ward and J. Anderson, “Fine-Grained Multiprocessor Real-Time Locking with Improved Blocking”, Proceedings of the 21st International Conference on Real-Time Networks and Systems, pp. 67-76, October 2013. PDF. Longer version with extra details:PDF. B. Ward, J. Herman, C. Kenna, and J. Anderson, “Making Shared Caches More Predictable on Multicore Platforms”, Proceedings of the 25th Euromicro Conference on Real-Time Systems, pp. 157-167, July 2013. Winner, outstanding paper award. J. Erickson and J. Anderson, “Reducing Tardiness Under Global Scheduling by Splitting Jobs”, Proceedings of the twenty fifth Euromicro Conference on Real-Time Systems, pp.