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

Cassandra

Published:2014-11-07 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 4th ACM Workshop on Security and Privacy in Smartphones & Mobile Devices
language:
Short-container-title:

Author:

Lortz Steffen¹,Mantel Heiko¹,Starostin Artem¹,Bähr Timo¹,Schneider David¹,Weber Alexandra¹

Affiliation:

1. TU Darmstadt, Darmstadt, Germany

Funder

Deutsche Forschungsgemeinschaft

Bundesministerium für Bildung und Forschung

Publisher

ACM

Link

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

Reference33 articles.

1. Android Open Source Project. Dalvik Bytecode Verifier Notes. https://github.com/android/platform_dalvik/blob/c1b54205471ea7824c87e53e0d9e6d4c30518007/docs/verifier.html. Accessed in March 2014. Android Open Source Project. Dalvik Bytecode Verifier Notes. https://github.com/android/platform_dalvik/blob/c1b54205471ea7824c87e53e0d9e6d4c30518007/docs/verifier.html. Accessed in March 2014.

2. Android Open Source Project. Security Enhancements in Android 4.2. http://source.android.com/devices/tech/security/enhancements42.html. Accessed in March 2014. Android Open Source Project. Security Enhancements in Android 4.2. http://source.android.com/devices/tech/security/enhancements42.html. Accessed in March 2014.

3. FlowDroid

4. Stack-based access control and secure information flow

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

1. LibAlchemy: A Two-Layer Persistent Summary Design for Taming Third-Party Libraries in Static Bug-Finding Systems;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-04-12

2. Immutability and Encapsulation for Sound OO Information Flow Control;ACM Transactions on Programming Languages and Systems;2023-03-03

3. Symbolic Abstract Heaps for Polymorphic Information-Flow Guard Inference;Lecture Notes in Computer Science;2023

4. Security code smells in apps: are we getting better?;Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2022-11-07

5. Automated verification tools for cryptographic protocols;2021 International Conference on Promising Electronic Technologies (ICPET);2021-11