Yes, the parameters you're differentiating with respect to need to be floats. Though there might be potential for extending the frameworks to e.g. differential

Yes, the parameters you're differentiating with respect to need to be floats. Though there might be potential for extending the frameworks to e.g. differential cryptanalysis - I'm not knowledgeable enough about it to say how much differential cryptanalysis can be done programmatically.