SeLINQ-Reference-Cited by-同舟云学术

SeLINQ

Published:2014-08-19 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 19th ACM SIGPLAN international conference on Functional programming
language:
Short-container-title:

Author:

Schoepe Daniel¹,Hedin Daniel¹,Sabelfeld Andrei¹

Affiliation:

1. Chalmers University of Technology, Gothenburg, Sweden

Funder

ProSecuToR

Swedish Foundation for Strategic Research

Seventh Framework Programme

Vetenskapsrådet

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2628136.2628151

Reference53 articles.

1. SPARKAda Examinar. Software release. http://www.praxis-his.com/sparkada/. SPARKAda Examinar. Software release. http://www.praxis-his.com/sparkada/.

2. OWASP Top 10: Ten Most Critical Web Application Security Risks. https://www.owasp.org/index.php/Top_10_2013-Top_10/ 2013. Accessed: 2014-02-20. OWASP Top 10: Ten Most Critical Web Application Security Risks. https://www.owasp.org/index.php/Top_10_2013-Top_10/ 2013. Accessed: 2014-02-20.

3. BNF Converter. http://bnfc.digitalgrammars.com/ 2014. Accessed: 2014-02-20. BNF Converter. http://bnfc.digitalgrammars.com/ 2014. Accessed: 2014-02-20.

4. Google Web Toolkit. http://www.gwtproject.org/ 2014. Accessed: 2014-02-20. Google Web Toolkit. http://www.gwtproject.org/ 2014. Accessed: 2014-02-20.

5. LINQ (Language-Integrated Query). http://msdn.microsoft.com/en-us/library/bb397926.aspx 2014. Accessed: 2014-02-20. LINQ (Language-Integrated Query). http://msdn.microsoft.com/en-us/library/bb397926.aspx 2014. Accessed: 2014-02-20.

Cited by 13 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Access Control for Database Applications: Beyond Policy Enforcement;Proceedings of the 19th Workshop on Hot Topics in Operating Systems;2023-06-22

2. Generalized Policy-Based Noninterference for Efficient Confidentiality-Preservation;Proceedings of the ACM on Programming Languages;2023-06-06

3. RuleKeeper: GDPR-Aware Personal Data Compliance for Web Frameworks;2023 IEEE Symposium on Security and Privacy (SP);2023-05

4. Information Flow Control in Software DB Units Based on Formal Verification;Programming and Computer Software;2022-07-18

5. Language-Based Web Session Integrity;2020 IEEE 33rd Computer Security Foundations Symposium (CSF);2020-06