Formalising Application-Driven Authentication & Access-Control based on Users' Companion Devices. - Chris Culnane; Ioana Boureanu; Jean Snyman; Stephan Wesemeyer; Helen Treharne (AsiaCCS, 2023)