Progress in Applications of Boolean Functions