Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security - CCS '13
Latest Publications

TOTAL DOCUMENTS

158

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450324779

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Fully automated analysis of padding-based encryption in the computational model

Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security - CCS '13 ◽

10.1145/2508859.2516663 ◽

2013 ◽

Cited By ~ 16

Author(s):

Gilles Barthe ◽

Juan Manuel Crespo ◽

Benjamin Grégoire ◽

César Kunz ◽

Yassine Lakhnech ◽

...

Keyword(s):

Computational Model ◽

Automated Analysis

Download Full-text

FANCI

Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security - CCS '13 ◽

10.1145/2508859.2516654 ◽

2013 ◽

Cited By ~ 147

Author(s):

Adam Waksman ◽

Matthew Suozzo ◽

Simha Sethumadhavan

Download Full-text

HIFS

Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security - CCS '13 ◽

10.1145/2508859.2516724 ◽

2013 ◽

Cited By ~ 12

Author(s):

Sumeet Bajaj ◽

Radu Sion

Download Full-text

Obfuscation resilient binary code reuse through trace-oriented programming

Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security - CCS '13 ◽

10.1145/2508859.2516664 ◽

2013 ◽

Cited By ~ 28

Author(s):

Junyuan Zeng ◽

Yangchun Fu ◽

Kenneth A. Miller ◽

Zhiqiang Lin ◽

Xiangyu Zhang ◽

...

Keyword(s):

Binary Code ◽

Code Reuse ◽

Binary Code Reuse

Download Full-text

Tappan Zee (north) bridge

Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security - CCS '13 ◽

10.1145/2508859.2516697 ◽

2013 ◽

Cited By ~ 33

Author(s):

Brendan Dolan-Gavitt ◽

Tim Leek ◽

Josh Hodosh ◽

Wenke Lee

Download Full-text

Computationally complete symbolic attacker and key exchange

Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security - CCS '13 ◽

10.1145/2508859.2516710 ◽

2013 ◽

Cited By ~ 2

Author(s):

Gergei Bana ◽

Koji Hasebe ◽

Mitsuhiro Okada

Keyword(s):

Key Exchange

Download Full-text

An empirical study of cryptographic misuse in android applications

Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security - CCS '13 ◽

10.1145/2508859.2516693 ◽

2013 ◽

Cited By ~ 157

Author(s):

Manuel Egele ◽

David Brumley ◽

Yanick Fratantonio ◽

Christopher Kruegel

Keyword(s):

Empirical Study ◽

Android Applications

Download Full-text

AVANT-GUARD

Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security - CCS '13 ◽

10.1145/2508859.2516684 ◽

2013 ◽

Cited By ~ 275

Author(s):

Seungwon Shin ◽

Vinod Yegneswaran ◽

Phillip Porras ◽

Guofei Gu

Download Full-text

Vetting undesirable behaviors in android apps with permission use analysis

Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security - CCS '13 ◽

10.1145/2508859.2516689 ◽

2013 ◽

Cited By ~ 139

Author(s):

Yuan Zhang ◽

Min Yang ◽

Bingquan Xu ◽

Zhemin Yang ◽

Guofei Gu ◽

...

Keyword(s):

Android Apps

Download Full-text

Formal verification of information flow security for a simple arm-based separation kernel

Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security - CCS '13 ◽

10.1145/2508859.2516702 ◽

2013 ◽

Cited By ~ 34

Author(s):

Mads Dam ◽

Roberto Guanciale ◽

Narges Khakpour ◽

Hamed Nemati ◽

Oliver Schwarz

Keyword(s):

Formal Verification ◽

Information Flow ◽

Information Flow Security ◽

Separation Kernel

Download Full-text

Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security - CCS '13Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Fully automated analysis of padding-based encryption in the computational model

FANCI

HIFS

Obfuscation resilient binary code reuse through trace-oriented programming

Tappan Zee (north) bridge

Computationally complete symbolic attacker and key exchange

An empirical study of cryptographic misuse in android applications

AVANT-GUARD

Vetting undesirable behaviors in android apps with permission use analysis

Formal verification of information flow security for a simple arm-based separation kernel

Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security - CCS '13
Latest Publications