Edit Profile Bauer, Lujo Compute Distance To: Compute Author ID: bauer.lujo Published as: Bauer, Lujo External Links: MGP · Wikidata Documents Indexed: 4 Publications since 2003, including 1 Book all top 5 Co-Authors 0 single-authored 1 Garriss, Scott 1 Jia, Limin 1 Küsters, Ralf 1 Ligatti, Jarred 1 McCune, Jonathan M. 1 Rafnsson, Willard 1 Reiter, Michael K. 1 Rouse, Jason 1 Rutenbar, Peter 1 Walker, David H. Serials 1 Lecture Notes in Computer Science Fields 4 Computer science (68-XX) 1 General and overarching topics; collections (00-XX) Publications by Year Citations contained in zbMATH 2 Publications have been cited 3 times in 3 Documents Cited by ▼ Year ▼ Device-enabled authorization in the grey system. Zbl 1159.68431Bauer, Lujo; Garriss, Scott; McCune, Jonathan M.; Reiter, Michael K.; Rouse, Jason; Rutenbar, Peter 2 2005 Types and effects for non-interfering program monitors. Zbl 1033.68538Bauer, Lujo; Ligatti, Jarred; Walker, David 1 2003 Device-enabled authorization in the grey system. Zbl 1159.68431Bauer, Lujo; Garriss, Scott; McCune, Jonathan M.; Reiter, Michael K.; Rouse, Jason; Rutenbar, Peter 2 2005 Types and effects for non-interfering program monitors. Zbl 1033.68538Bauer, Lujo; Ligatti, Jarred; Walker, David 1 2003 all top 5 Cited by 9 Authors 1 Abadi, Martín 1 Hadarean, Liana 1 Ligatti, Jay 1 Oe, Duckki 1 Reynolds, Andrew 1 Rickey, Billy 1 Saigal, Nalin 1 Stump, Aaron 1 Tinelli, Cesare Cited in 1 Serial 1 Formal Methods in System Design Cited in 2 Fields 3 Computer science (68-XX) 2 Mathematical logic and foundations (03-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.