Muhammad Reza Z'aba, Håvard Raddum, Leonie Simpson, Ed Dawson, Matt Henricksen, Kenneth Koon-Ho Wong. Algebraic Analysis of LEX. In Ljiljana Brankovic, Willy Susilo, editors, Seventh Australasian Information Security Conference, AISC 2009, Wellington, New Zealand, January 2009. Volume 98 of CRPIT, pages 33-45, Australian Computer Society, 2009. [doi]
Abstract is missing.