POSTER: Live path control flow integrity

Barbar, M; Sui, Y; Zhang, H; Chen, S; Xue, J

POSTER: Live path control flow integrity

Barbar, M Sui, Y

Zhang, H Chen, S Xue, J

Permalink

Publication Type:: Conference Proceeding
Citation:: Proceedings - International Conference on Software Engineering, 2018, pp. 195 - 196
Issue Date:: 2018-05-27

Closed Access

	Filename	Description	Size
	icse18-poster.pdf	Published version	665.52 kB	Adobe PDF	View/Open

Copyright Clearance Process

Recently Added
In Progress
Closed Access

This item is closed access and not available.

Full metadata record

Field	Value	Language
dc.contributor.author	Barbar, M	en_US
dc.contributor.author	Sui, Y https://orcid.org/0000-0002-9510-6574	en_US
dc.contributor.author	Zhang, H	en_US
dc.contributor.author	Chen, S	en_US
dc.contributor.author	Xue, J	en_US
dc.date.issued	2018-05-27	en_US
dc.identifier.citation	Proceedings - International Conference on Software Engineering, 2018, pp. 195 - 196	en_US
dc.identifier.isbn	9781450356633	en_US
dc.identifier.issn	0270-5257	en_US
dc.identifier.uri	http://hdl.handle.net/10453/131234
dc.description.abstract	© 2018 Authors. Per-Input Control Flow Integrity (PICFI) represents a recent advance in dynamic CFI techniques. PICFI starts with the empty CFG of a program and lazily adds edges to the CFG during execution according to concrete inputs. However, this CFG grows monotonically, i.e., invalid edges are never removed when corresponding control flow transfers (via indirect calls) become illegal (i.e., will never be executed again). This paper presents LPCFI, Live Path Control Flow Integrity, to more precisely enforce forward edge CFI using a dynamically computed CFG by both adding and removing edges for all indirect control flow transfers from function pointer calls, thereby raising the bar against control flow hijacking attacks.	en_US
dc.relation.ispartof	Proceedings - International Conference on Software Engineering	en_US
dc.relation.isbasedon	10.1145/3183440.3195093	en_US
dc.title	POSTER: Live path control flow integrity	en_US
dc.type	Conference Proceeding
pubs.embargo.period	Not known	en_US
pubs.organisational-group	/University of Technology Sydney
pubs.organisational-group	/University of Technology Sydney/Faculty of Engineering and Information Technology
pubs.organisational-group	/University of Technology Sydney/Faculty of Engineering and Information Technology/School of Computer Science
pubs.organisational-group	/University of Technology Sydney/Strength - CAI - Centre for Artificial Intelligence
pubs.organisational-group	/University of Technology Sydney/Students
utslib.copyright.status	closed_access
pubs.publication-status	Published	en_US

Abstract:

© 2018 Authors. Per-Input Control Flow Integrity (PICFI) represents a recent advance in dynamic CFI techniques. PICFI starts with the empty CFG of a program and lazily adds edges to the CFG during execution according to concrete inputs. However, this CFG grows monotonically, i.e., invalid edges are never removed when corresponding control flow transfers (via indirect calls) become illegal (i.e., will never be executed again). This paper presents LPCFI, Live Path Control Flow Integrity, to more precisely enforce forward edge CFI using a dynamically computed CFG by both adding and removing edges for all indirect control flow transfers from function pointer calls, thereby raising the bar against control flow hijacking attacks.

Please use this identifier to cite or link to this item:

http://hdl.handle.net/10453/131234