Zaslat SMS: Feasible computations and provable complexity properties /