Efficient control flow quantification

Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications - OOPSLA '06 ◽

10.1145/1167473.1167484 ◽

2006 ◽

Author(s):

Christoph Bockisch ◽

Sebastian Kanthak ◽

Michael Haupt ◽

Matthew Arnold ◽

Mira Mezini

Keyword(s):

Control Flow ◽

Flow Quantification ◽

Efficient Control

Download Full-text

Efficient control flow quantification

ACM SIGPLAN Notices ◽

10.1145/1167515.1167484 ◽

2006 ◽

Vol 41 (10) ◽

pp. 125-138 ◽

Author(s):

Christoph Bockisch ◽

Sebastian Kanthak ◽

Michael Haupt ◽

Matthew Arnold ◽

Mira Mezini

Keyword(s):

Control Flow ◽

Flow Quantification ◽

Efficient Control

Download Full-text

JPortal: precise and efficient control-flow tracing for JVM programs with Intel processor trace

Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation ◽

10.1145/3453483.3454096 ◽

2021 ◽

Author(s):

Zhiqiang Zuo ◽

Kai Ji ◽

Yifei Wang ◽

Wei Tao ◽

Linzhang Wang ◽

...

Keyword(s):

Control Flow ◽

Efficient Control

Download Full-text

Efficient Control Flow in Dataflow Systems: When Ease-of-Use Meets High Performance

2021 IEEE 37th International Conference on Data Engineering (ICDE) ◽

10.1109/icde51399.2021.00127 ◽

2021 ◽

Author(s):

Gabor E. Gevay ◽

Tilmann Rabl ◽

Sebastian Bres ◽

Lorand Madai-Tahy ◽

Jorge-Arnulfo Quiane-Ruiz ◽

...

Keyword(s):

High Performance ◽

Control Flow ◽

Ease Of Use ◽

Efficient Control

Download Full-text

An Efficient Control-flow based Obfuscator for Micropython Bytecode

10.1109/isssr53171.2021.00028 ◽

2021 ◽

Author(s):

Lantao Wang ◽

Yun Li ◽

Haitao Zhang ◽

Qigu Han ◽

Lirong Chen

Keyword(s):

Control Flow ◽

Efficient Control

Download Full-text

An efficient control flow validation method using redundant computing capacity of dual-processor architecture

PLoS ONE ◽

10.1371/journal.pone.0201127 ◽

2018 ◽

Vol 13 (8) ◽

pp. e0201127

Author(s):

Qingran Wang ◽

Wei Guo ◽

Jizeng Wei

Keyword(s):

Control Flow ◽

Processor Architecture ◽

Validation Method ◽

Efficient Control ◽

Computing Capacity

Download Full-text

A High Efficient Control Flow Authentication Method Basing on Loop Isolation

Communications in Computer and Information Science - Computer Engineering and Technology ◽

10.1007/978-981-10-7844-6_10 ◽

2018 ◽

pp. 96-103

Author(s):

Qingran Wang ◽

Wei Guo ◽

Dazhi Sun ◽

Jizeng Wei

Keyword(s):

Control Flow ◽

High Efficient ◽

Efficient Control

Download Full-text

An efficient control flow security analysis approach for binary executables

2009 2nd IEEE International Conference on Computer Science and Information Technology ◽

10.1109/iccsit.2009.5234950 ◽

2009 ◽

Author(s):

Wang Chunlei ◽

Zhao Gang ◽

Dai Yiqi

Keyword(s):

Security Analysis ◽

Control Flow ◽

Analysis Approach ◽

Efficient Control

Download Full-text

Towards Efficient Control-Flow Attestation with Software-Assisted Multi-level Execution Tracing

10.1109/meditcom49071.2021.9647635 ◽

2021 ◽

Author(s):

Dimitrios Papamartzivanos ◽

Sofia Anna Menesidou ◽

Panagiotis Gouvas ◽

Thanassis Giannetsos

Keyword(s):

Control Flow ◽

Efficient Control ◽

Multi Level ◽

Execution Tracing

Download Full-text

Efficient Control-Flow Subgraph Matching for Detecting Hardware Trojans in RTL Models

ACM Transactions on Embedded Computing Systems ◽

10.1145/3126552 ◽

2017 ◽

Vol 16 (5s) ◽

pp. 1-19 ◽

Author(s):

Luca Piccolboni ◽

Alessandro Menon ◽

Graziano Pravadelli

Keyword(s):

Control Flow ◽

Hardware Trojans ◽

Subgraph Matching ◽

Efficient Control

Download Full-text

Dynamic Per-Warp Reconvergence Stack for Efficient Control Flow Handling in GPUs

2016 IEEE Computer Society Annual Symposium on VLSI (ISVLSI) ◽

10.1109/isvlsi.2016.35 ◽

2016 ◽

Author(s):

Yaohua Wang ◽

Xiaowen Chen ◽

Dong Wang ◽

Sheng Liu

Keyword(s):

Control Flow ◽

Efficient Control

Download Full-text