@ARTICLE{tse19modGuard, author={Andreas Dann and Ben Hermann and Eric Bodden}, journal={IEEE Transactions on Software Engineering}, title={ModGuard: Identifying Integrity Confidentiality Violations in Java Modules}, year={2019}, volume={}, number={}, pages={1-1}, keywords={Java;Security;Cognition;Static analysis;Encapsulation;Manuals;Benchmark testing;Java 9;Jigsaw;Module Systems;Security;Static Escape Analysis;Doop;Soot}, doi={10.1109/TSE.2019.2931331}, ISSN={2326-3881}, month={}, url = {https://www.bodden.de/pubs/tse19modGuard.pdf}, }