Yes, trusted computing is empirically hard, but I haven't heard solid arguments either way on whether it's actually infeasible.