This work is a comprehensive formal treatment of anonymous point collection. The proposed
definition does not only provide a strong notion of security and privacy but also covers
features which are important for practical use. An efficient realization is presented and
proven to fulfill the proposed definition. The resulting building block is the first one that
allows for anonymous two-way transactions has semi-offline capabilities yields constant
storage size and is provably secure.
