Fabrice Boudot Efficient Proofs that a Committed Number Lies in an Interval. 431-444 2000 EUROCRYPT http://link.springer.de/link/service/series/0558/bibs/1807/18070431.htm db/conf/eurocrypt/eurocrypt2000.html#Boudot00