Author:
Prabawa Adi,Al Ameen Mahmudul Faisal,Lee Benedict,Chin Wei-Ngan
Publisher
Springer International Publishing
Reference32 articles.
1. Al Ameen, M.F., Tatsuta, M.: Completeness for Recursive Procedures in Separation Logic. Theoretical Computer Science (2016)
2. Al Ameen, M.F.: Completeness of Verification System with Separation Logic for Recursive Procedures. Ph.D. Dissertation. SOKENDAI, Kanagawa, Japan (2016)
3. Barthe, G., D’Argenio, P.R., Rezk, T.: Secure information flow by self-composition. In: Proceedings of the 17th IEEE Workshop on Computer Security Foundations (CSFW 2004), p. 100. IEEE Computer Society, Washington, DC (2004)
4. Lecture Notes in Computer Science;T Amtoft,2004
5. Amtoft, T., Bandhakavi, S., Banerjee, A.: A logic for information flow in object-oriented programs. In: Conference Record of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, New York, USA (2006)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Modular Product Programs;ACM Transactions on Programming Languages and Systems;2020-03-31
2. SecCSL: Security Concurrent Separation Logic;Computer Aided Verification;2019