See Secure Printing on Ubuntu Desktop for the backstory and theory. Here, I'm going to just briefly describe the steps to install a networked IPPS printer on Windows 10.
Printer has a local DNS name of "printer1.example.com". You can substitute the IP address of the printer, but note you may have SSL certificate issues. Insecure IPP can be used as a fallback, in which case the URI would be "http://xxx.xxx.xxx.xxx:631".
Before beginning, be sure to install the printer vendor's basic driver package (you won't need all their fancy utiltiies to use native Windows printing).
- Go to Start... Settings... Devices... Printers.
- "Add a printer or scanner".
- "The printer that I want isn't listed" (even though it might be).
- "Select a shared printer by name"
- Enter "https://printer.example.com:631"
- Next.
- Select the Manufacturer and printer model driver.
- OK.
- Next.
- "Print a test page"
- Finish.
- Windows printing isn't programmed to accept a "ipps://" or "ipp://" URI, which is why you need to specify the port (631).
- Using the full IPP URI (apart from the ipps/ipp component) should work as well, e.g. "https://printer1.example.com/ipp". I like to use that as a hint to others who might come along later.