Author:
Di Pierro Alessandra,Hankin Chris,Wiklicky Herbert
Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Safety, Risk, Reliability and Quality,Information Systems,Software
Reference37 articles.
1. ABE’08: Workshop on Approximate Behavioural Equivalences (2008) http://www.cse.yorku.ca/abe08
2. Agat, J.: Transforming out timing leaks. In: Proceedings of POPL’00, pp. 40–53. ACM Press, New York (2000)
3. Aldini, A., Bravetti, M., Di Pierro, A., Gorrieri, R., Hankin, H., Wiklicky, H.: Two formal approaches for approximating noninterference properties. In: Foundations of Security Analysis and Design II—Tutorial Lectures, vol. 2946 of Lecture Notes in Computer Science, pp. 1–46. Springer, Berlin (2002)
4. Alur R., Dill D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183–235 (1994)
5. Aubin J.-P.: Optima and Equilibria—An Introduction to Nonlinear Analysis, vol. 140 of Graduate Texts in Mathematics. Springer, Berlin (1993)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Eliminating timing side-channel leaks using program repair;Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis;2018-07-12
2. Transforming Out Timing Leaks, More or Less;Computer Security -- ESORICS 2015;2015
3. Program Synthesis and Linear Operator Semantics;Electronic Proceedings in Theoretical Computer Science;2014-07-18
4. A short note on Simulation and Abstraction;Electronic Proceedings in Theoretical Computer Science;2013-09-19
5. Semantics of Probabilistic Programs: A Weak Limit Approach;Programming Languages and Systems;2013