The ‘double lock’ is the suggested method of bicycle security on the University of Texas campus.  Locks can be purchased at:

Ozone, Clown Dog, Freewheeling Bicycles, Waterloo Cycles, Mellow Johnny’s, as well as a number of other locations around Austin.