Reliably Secure Software Systems (RS3) –
DFG Priority Programme 1496

Export 33 results:
Author [ Title(Desc)] Type Year
Filters: First Letter Of Last Name is P  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
B
A. Popescu and Lammich, P., “Bounded-Deducibility Security”, Archive of Formal Proofs, 2014.
C
O. Kunčar and Popescu, A., “Comprehending Isabelle/HOL's Consistency”, in Proceedings of the 26th European Symposium on Programming (ESOP), 2017.
S. Kanav, Lammich, P., and Popescu, A., “A Conference Management System with Verified Document Confidentiality”, in Proceedings of the 26th International Conference on Computer Aided Verification (CAV 2014), 2014.
O. Kunčar and Popescu, A., “A Consistent Foundation for Isabelle/HOL”, in Proceedings of the 6th International Conference on Interactive Theorem Proving (ITP), 2015.
T. Bauereiß, Gritti, A. Pesenti, Popescu, A., and Raimondi, F., “CoSMed: A Confidentiality-Verified Social Media Platform”, in Proceedings of the 7th International Conference on Interactive Theorem Proving (ITP), 2016.
T. Bauereiß, Gritti, A. Pesenti, Popescu, A., and Raimondi, F., “CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees”, in Proceedings of the 38th IEEE Symposium on Security and Privacy (S&P), 2017.
D
E. Lovat and Pretschner, A., “Data-centric multi-layer usage control enforcement: a Social Network Example”, in Proceedings of the 16th ACM symposium on Access control models and technologies (SACMAT 2011), 2011.
F. Kelbert and Pretschner, A., “Decentralized Distributed Data Usage Control”, in Proceedings of the 13th International Conference on Cryptology and Network Security (CANS 2014), 2014.
P. Kumari, Pretschner, A., Peschla, J., and Kuhn, J. - M., “Distributed Data Usage Control for Web Applications: A Social Network Implementation”, in Proceedings of the 1st ACM Conference on Data and Application Security and Privacy (CODASPY 2011), 2011.
P. Kumari, Pretschner, A., Peschla, J., and Kuhn, J. - M., “Distributed Data Usage Control for Web Applications: A Social Network Implementation”, in Proceedings of the 1st ACM Conference on Data and Application Security and Privacy (CODASPY 2011), 2011.
E
J. C. Blanchette, Böhme, S., Popescu, A., and Smallbone, N., “Encoding Monomorphic and Polymorphic Types”, in Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2013), 2013.
F
A. Popescu, Hölzl, J., and Nipkow, T., “Formal Verification of Language-Based Concurrent Noninterference”, J. Formalized Reasoning, vol. 6, pp. 1-30, 2013.
A. Popescu, Hölzl, J., and Nipkow, T., “Formalizing Probabilistic Noninterference”, in Proceedings of the 3rd International Conference on Certified Programs and Proofs (CPP 2013), 2013.
O. Kunčar and Popescu, A., “From Types to Sets by Local Type Definitions in Higher-Order Logic”, in Proceedings of the 7th International Conference on Interactive Theorem Proving (ITP), 2016.
F. Kelbert and Pretschner, A., “A Fully Decentralized Data Usage Control Enforcement Infrastructure”, in Proceedings of the 13th International Conference on Applied Cryptography and Network Security, 2015.
M
T. Wüchner, Ochoa, M., and Pretschner, A., “Malware Detection with Quantitative Data Flow Graphs”, in Proceedings of the 9th ACM Symposyum on Information, Computer and Communications Security (ASIACCS 2014), 2014.
J. C. Blanchette and Popescu, A., “Mechanizing the Metatheory of Sledgehammer”, in Proceedings of the 9th International Symposium on Frontiers of Combining Systems (FroCos 2013), 2013.
J. C. Blanchette, Popescu, A., Wand, D., and Weidenbach, C., “More SPASS with Isabelle - Superposition with Hard Sorts and Configurable Simplification”, in Proceedings of the 3rd Conference on Interactive Theorem Proving (ITP 2012), 2012.
N
H. Mantel, Perner, M., and Sauer, J., “Noninterference under Weak Memory Models”, in Proceedings of the 27th IEEE Computer Security Foundations Symposium (CSF 2014), 2014.
A. Popescu, Hölzl, J., and Nipkow, T., “Noninterfering Schedulers - When Possibilistic Noninterference Implies Probabilistic Noninterference”, in Proceedings of the 5th Conference on Algebra and Coalgebra in Computer Science (CALCO 2013), 2013.
P
A. Popescu and Hölzl, J., “Possibilistic Noninterference”, Archive of Formal Proofs, 2012.
A. Popescu and Hölzl, J., “Probabilistic Noninterference”, Archive of Formal Proofs, 2014.
A. Popescu, Hölzl, J., and Nipkow, T., “Proving Concurrent Noninterference”, in Proceedings of the 2nd International Conference on Certified Programs and Proofs (CPP 2012), 2012.
Q
E. Lovat, Oudinet, J., and Pretschner, A., “On Quantitative Dynamic Data Flow Tracking”, in Proceedings of the 4th ACM Conference on Data and Application Security and Privacy (CODASPY 2014), 2014.
R
A. Pretschner, Lovat, E., and Buechler, M., “Representation-Independent Data Usage Control”, in 6th International Workshop on Data Privacy Management (DPM 2011), 2011.

Pages